Normalisation in lambda calculus and its relation to type inference

Eindhoven, Techn. Univ., Diss., 1996

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Severi, Paula Gabriela (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	1996
Schlagworte:	Hochschulschrift > Lambda-Kalkül
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!