The Lambda Calculus, its syntax and semantics

Bibliographische Detailangaben

1. Verfasser:	Barendregt, Hendrik P. 1947- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	London College Publications [2012]
Schriftenreihe:	Studies in Logic 40 : Mathematical logic and foundations
Schlagworte:	Lambda-Kalkül Beweistheorie Mathematische Logik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!