全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用：99美元
投递稿件

查看量下载量

相关文章

更多...
软件学报  1998 

归纳类型的构造集语义

, PP. 236-240

Keywords: 类型理论,归纳类型,ω-集合.

Full-Text   Cite this paper   Add to My Lib

Abstract:

有归纳类型的马丁洛夫类型理论在经典集合论中有一简单的模型.构造演算不存在经典集合论模型,但在构造集合论中有模型.本文刻画了构造演算中归纳类型的构造集语义.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133