Combinatory Reduction Systems: introduction and survey (1993)

by Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk
Venue:THEORETICAL COMPUTER SCIENCE