Lambda-calculus and combinators, an introduction /

other_versions_link
מידע ביבליוגרפי
מחבר ראשי: Hindley, J. Roger
מחברים אחרים: Seldin, J. P.
פורמט: Printed Book
שפה:English
יצא לאור: Cambridge, UK ; New York : Cambridge University Press, c2008.
נושאים:
Lambda calculus.
Combinatory logic.

פריטים דומים

פריטים דומים