Proofs and Types
Douban
ISBN: 9780521371810
autor:
Jean-Yves Girard
/
Yves Lafont
/
Paul Taylor
editorial:
Cambridge University Press
fecha de publicación: 1989
-4
serie: Cambridge Tracts in Theoretical Computer Science
precio: USD 49.95
número de páginas: 192
Jean-Yves Girard / Yves Lafont …
sinopsis
todavía nada.