Lambda-calculus and combinators, an introduction /

other_versions_link
Podrobná bibliografie
Hlavní autor: Hindley, J. Roger
Další autoři: Seldin, J. P.
Médium: Printed Book
Jazyk:English
Vydáno: Cambridge, UK ; New York : Cambridge University Press, c2008.
Témata:
Lambda calculus.
Combinatory logic.

Podobné jednotky

Podobné jednotky