Polymorphic extensions of simple type structures With an application to a bar recursive minimization

Bibliographische Detailangaben

1. Verfasser:	Barendsen, Erik (VerfasserIn)
Weitere Verfasser:	Bezem, Marc (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1994
Schriftenreihe:	Technical report / Computing Science Institute Nijmegen, Katholieke Universiteit Nijmegen CSI-R9412
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!