Unique Normal Forms for Combinatory Logic with Parallel Conditional, a Case Study (1990)

by R C deVrijer
Venue:in Conditional Rewriting. Internal Report IR-240, Vrije Universiteit