Theories of types and proofs
Takahashi M., Okada M., Dezani-Ciancaglini M. (eds.)Година:
1998
Издателство:
MSJ
Език:
english
Страници:
296
ISBN 10:
4931469027
ISBN 13:
9784931469020
Серия:
Mathematical Society of Japan Memoir 2
Файл:
DJVU, 3.25 MB
IPFS:
,
english, 1998