Lambda-calculus, types and models

J.L. Krivine ; translated by René Cori
Bok · Engelsk · 1993

Utgitt	Paris : Masson , c1993
Omfang	VIII, 180 s.
Opplysninger	Først utgitt på fransk i 1990.
Emner	Lambda calculus Matematisk logikk lambdakalkyle matematisk logikk
ISBN	0130624071