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

by JanWillem Klop, Vincent van Oostrom
Venue:Theoretical Computer Science