Introduction to combinators and the lambda-calculus

Bibliographische Detailangaben

1. Verfasser:	Hindley, James Roger (VerfasserIn)
Weitere Verfasser:	Seldin, Jonathan P. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge u.a. Cambridge Univ. Pr. 1990
Ausgabe:	Repr.
Schriftenreihe:	London Mathematical Society student texts 1
Schlagworte:	Lambda calculus > Combinatory logic
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!