<<The>> lambda calculus its syntax and semantics

Bibliographische Detailangaben

1. Verfasser:	Barendregt, Hendrik P. (VerfasserIn)
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-Kalkül > Lambda-Rechnung
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!