Proofs and Types
Douban
ISBN: 9780521371810
forfatter:
Jean-Yves Girard
/
Yves Lafont
/
Paul Taylor
forlag:
Cambridge University Press
udgivelsesdato: 1989
-4
serie: Cambridge Tracts in Theoretical Computer Science
pris: USD 49.95
antal sider: 192
Jean-Yves Girard / Yves Lafont …
overblik
intet indtil videre.