Proofs and types

Jean-Yves Girard, Yves Lafont, Paul Taylor
Bok · Engelsk · 1989

Utgitt	Cambridge, N.Y. : Cambridge University Press , c1989
Omfang	xi, 176 s.
Emner	Bevisteori Deduksjon Lambda-kalkyle Logikk Vis mer... Logisk slutning Typeteori (Logikk) Typeteori : (NO-TrBIB)HUME00726
ISBN	0521371813