Combinatory reduction systems introduction and survey

Bibliographische Detailangaben

1. Verfasser:	Klop, Jan Willem 1945- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Amsterdam Centrum voor Wiskunde en Informatica 1993
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!