1980
Combinatory reduction systems
Publication
Publication
Additional Metadata | |
---|---|
Centrum Voor Wiskunde en Informatica | |
MC Tracts | |
Organisation | Specification and Analysis of Embedded Systems |
Klop, J. W. (1980). Combinatory reduction systems. MC Tracts. Centrum Voor Wiskunde en Informatica. |