Addendum to "new notions of reduction and non-semantic proofs of β-strong normalization in typed λ-calculi"

Bibliographische Detailangaben

1. Verfasser:	Kfoury, Assaf J. (VerfasserIn)
Weitere Verfasser:	Wells, J. B. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Boston Boston University, Computer Science Department 1995
Schriftenreihe:	BUCS TR / Boston University, Computer Science Departmen 95,7
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!