Finite combinatory logic with intersection types (extended version)

Bibliographische Detailangaben

1. Verfasser:	Rehof, Jakob (VerfasserIn)
Weitere Verfasser:	Urzyczyn, Pawel (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Dortmund TU, Dep. of Computer Science 2011
Schriftenreihe:	Technical reports in computer science / Technische Universität Dortmund, Department of Computer Science 834
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!