Programming in Martin-Löf's Type Theory: an Introduction : Bengt Nordström, Kent Petersson and Jan M. Smith Intl. Series of Monographs on Computer Science, Vol. 7, Oxford Science Publications, Oxford, 1990, 231 pages
作者：
Highlights：
•
摘要
论文关键词：
论文评审过程：Available online 21 March 2002.
论文官网地址：https://doi.org/10.1016/0377-0427(91)90052-L
