发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

The calculus of constructions

The calculus of constructions

Thierry Coquand; Gérard Huet

作者Thierry Coquand; Gérard Huet
卷第76卷
印刷ISSN0890-5401
电子ISSN1090-2651
文件大小1374.84KB
发表时间1988
DOI10.1016/0890-5401(88)90005-3
页码95-120

← 返回【学霸图书馆】主页