登入選單
返回Google圖書搜尋
Residual Theory in [gamma]-calculus
Gérard Huet
其他書名
A Formal Development
出版Institut national de recherche en informatique et en automatique, 1993
URLhttp://books.google.com.hk/books?id=IanYtgAACAAJ&hl=&source=gbs_api