登入選單
返回Google圖書搜尋
Typed lambda calculi and applications
Mariangiola Dezani-Ciancaglini
其他書名
Second international conference on typed lambda calculi and applications, TLCA '95 Edinburgh, United Kingdom, April 1995 Proceedings
出版Springer-Verlag, 1995
URLhttp://books.google.com.hk/books?id=WmNDoAEACAAJ&hl=&source=gbs_api