Lambda calculus, conservative extension and structural induction

Bibliographische Detailangaben

1. Verfasser:	Breazu-Tannen, Val (VerfasserIn)
Körperschaft:	Department of Computer and Information Science, School of Engineering and Applied Science, University of Pennsylvania (BerichterstatterIn)
Weitere Verfasser:	Subrahmanyam, Ramesh (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Philadelphia, Pa. 1989
Schriftenreihe:	Logic & computation 16
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!