Proofs and Types
Douban
ISBN: 9780521371810
autor:
Jean-Yves Girard
/
Yves Lafont
/
Paul Taylor
casa editorial:
Cambridge University Press
data de publicação: 1989
-4
séries: Cambridge Tracts in Theoretical Computer Science
preço: USD 49.95
número de páginas: 192
Jean-Yves Girard / Yves Lafont …
visão geral
nada até agora.