1990] A Simplifier for Untyped Lambda Expressions (0)

by L Galbiati, C Talcott