<<The>> lambda-calculus its syntax and semantics

Bibliographische Detailangaben

1. Verfasser:	Barendregt, Hendrik P. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Amsterdam u.a. North-Holland 1984
Ausgabe:	Rev. ed.
Schriftenreihe:	Studies in logic and the foundations of mathematics 103
Schlagworte:	Lambda-Kalkül
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!