En introduksjon til lambdakalkyle

Arild Waaler
Bok · Bokmål · 1988

Utgitt	Trondheim , 1988
Omfang	ii, 22 s.
Emner	Logikkprogrammering kombinatorer