Higher-order Pattern Complement and the Strict λ-calculus (2003)

by A Momigliano, F Pfenning
Venue:ACM Trans. Comput. Logic