The Lambda calculus its syntax and semantics

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Barendregt, Hendrik P. (VerfasserIn, BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam u.a. North-Holland Publ. Co. 1981
Schriftenreihe:	Studies in logic and the foundations of mathematics 103
Schlagworte:	Lambda calculus > Lambda-Kalkül
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!