-
34浏览
-
0点赞
-
0收藏
-
0分享
-
60下载
-
0评论
-
引用
期刊论文
Recursive Models of General Inductive Types*
Fundamenta Informaticae, 26(2):115-131, 1996.,-0001,():
We give an interpretation of Martin-L
【免责声明】以下全部内容由[傅育熙]上传于[2005年01月17日 23时16分46秒],版权归原创者所有。本文仅代表作者本人观点,与本网站无关。本网站对文中陈述、观点判断保持中立,不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。请读者仅作参考,并请自行承担全部责任。
本学者其他成果
同领域成果