The lambda calculus its syntax and semantics

Literaturverz. S. 585 - 598

Gespeichert in:

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