Proofs and Types
Douban
ISBN: 9780521371810
écrit par:
Jean-Yves Girard
/
Yves Lafont
/
Paul Taylor
édition:
Cambridge University Press
date de publication: 1989
-4
série: Cambridge Tracts in Theoretical Computer Science
prix: USD 49.95
nombre de pages: 192
Jean-Yves Girard / Yves Lafont …
résumé
rien pour le moment.