Femke van Raamsdonk. Combinatory reduction systems: Introduction and survey (1993)

by Jan Willem Klop, Vincent van Oostrom
Venue:Theor. Comput. Sci