An ideal model for an extended [lamda]-calculus with refinement

Bibliographische Detailangaben

Weitere Verfasser:	Levy, J. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Edinburgh LFCS, Dept. of Computer Science, University of Edinburgh 1991
Schriftenreihe:	LFCS report series 91,188
Schlagworte:	Lambda calculus
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!