×

找到2个文档(结果1-2)

Martin-Löf型理论中可拓性的消除。 (英语) Zbl 1527.03009号

Barendregt,Henk(编辑)等人,《93年类型》。校样和程序的类型。国际研讨会,荷兰奈梅亨,1993年5月24日至28日。精选论文。柏林:斯普林格。莱克特。注释计算。科学。806, 166-190 (1994).
MSC公司:03B38型 03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段

软件