Combinatory logic pure, applied and typed - Bimbo, Katalin (Boca Raton Crc Press, 2012)
Includes Bibliographical References And Index
Keywords: Combinatory logic