Some extensional term models for combinatory logics and lambda-calculi

Gespeichert in:

Bibliographische Detailangaben
Späterer Titel:	On the interpretation of terms without a normal form
1. Verfasser:	Barendregt, Hendrik P. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1971
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Utrecht, Rijksuniv., Diss.
Beschreibung:	140 S.