Proofs and Types [图书] 豆瓣
作者:
Jean-Yves Girard
/
Yves Lafont
…
出版社:
Cambridge University Press
1989
- 4