Canonical Typing and \Pi--conversion in the Barendregt Cube (1996)

by F Kamareddine, Nederpelt
Venue:Journal of Functional Programming