Combinatory reduction systems: introduction and survey

• Authors:

• Jan W Klop;Vincent Oostrom;Femke Raamsdonk

• Affiliations:

• -;-;-

• Venue:
• Combinatory reduction systems: introduction and survey
• Year:
• 1993