登入選單
返回Google圖書搜尋
Types for Proofs and Programs
其他書名
International Workshop, TYPES'99 : L_keberg, Sweden, June 12-16, 1999 : Selected Papers
出版Springer, 2000
URLhttp://books.google.com.hk/books?id=Wjq4ygAACAAJ&hl=&source=gbs_api