A Modern Perspective on Type Theory : From its Origins until Today

作者：by Fairouz Kamareddine, Twan Laan, Rob Nederpelt.
出版社：Springer Science+Business Media, Inc.
ISBN：9781402023354 (electronic bk.) ; 9781402023347 (paper)
出版日期：2005
其他作者：Kamareddine, Fairouz. ; Laan, Twan. ; Nederpelt, Rob.
語言：zh
出版地：Dordrecht :
內容簡介
xiv, 357 p. ::digital ;:25 cm.
搜尋同作者