Introduction to combinators and lambda-calculus

Bibliographische Detailangaben

Hauptverfasser:	Hindley, James R. (VerfasserIn), Seldin, Jonathan P. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Cambridge [u.a.] Cambridge Univ. Press 1986
Ausgabe:	1. publ.
Schriftenreihe:	London Mathematical Society: London Mathematical Society student texts 1
Schlagworte:	Lambda-Kalkül Kombinatorische Logik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!