Canonical Typing and \Pi-Conversion (1996)

by F Kamareddine, R P Nederpelt
Venue:in the Barendregt Cube, Functional Programming 6