Some extensional term models for combinatory logics and lambda-calculi

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!