@第{条Eades2016DualizedST,title={对偶简单类型理论},author={Harley D.Eades、Aaron Stump和Ryan McCleeary},journal={Log.Methods计算科学},年份={2016年},体积={12},网址={https://api.semanticscholar.org/CorpusID:4506631}}
通过使用此功能,您同意AI2条款和条件并且您不会提交任何敏感或机密信息。
AI2可能会在公共数据集中包含您的提示和输入,以便将来进行AI研究和开发。请勾选此框以退出。
显示0篇相关论文中的1至3篇