Lambda calculi : a guide for computer scientists

Chris Hankin
Bok · Engelsk · 1994

Utgitt	Oxford : Clarendon Press , 1994
Omfang	XIII, 162 s.
Emner	Lambda calculus Matematisk logikk
ISBN	0198538405. - 0198538413