The Lambda calculus its syntax and semantics

Bibliographische Detailangaben

1. Verfasser:	Barendregt, Hendrik P. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam, New York, Oxford North-Holland 1984
Ausgabe:	Revised edition
Schriftenreihe:	Studies in logic and the foundations of mathematics 103
Schlagworte:	Lambda calculus > Lambda-Kalkül
Online Zugang:	Inhaltsverzeichnis Publisher description
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!