Combinatory reduction systems introduction and survey

Gespeichert in:

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!

Combinatory reduction systems introduction and survey von Klop, Jan Willem 1945-, Oostrom, Vincent van, Raamsdonk, Femke van

Veröffentlicht 1993

Buch