Fairouz Kamareddine Rob Nederpelt Canonical Typing and Pi-Conversion in the Barendregt Cube. 245-267 1996 6 J. Funct. Program. 2 db/journals/jfp/jfp6.html#KamareddineN96