Theories of types and proofs
Takahashi M., Okada M., Dezani-Ciancaglini M. (eds.)Anno:
1998
Casa editrice:
MSJ
Lingua:
english
Pagine:
296
ISBN 10:
4931469027
ISBN 13:
9784931469020
Collana:
Mathematical Society of Japan Memoir 2
File:
DJVU, 3.25 MB
IPFS:
,
english, 1998