Intersection type disciplines in Lambda calculus and applicative term rewriting systems

Nijmegen, Kath. Univ., Diss., 1993

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Bakel, Stephanus Johannes van (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1993
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!