Introduction to combinators and lambda-calculus

Bibliographische Detailangaben

1. Verfasser:	Hindley, James Roger (VerfasserIn)
Weitere Verfasser:	Seldin, Jonathan P. (VerfasserIn), Seldin, Jonathan Paul (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge u.a. Cambridge Univ. Press 1993
Ausgabe:	Reprinted
Schriftenreihe:	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!