Canonical typing and $\Pi$-conversion in the Barendregt cube

F. Kamareddine, R.P. Nederpelt

Research output: Contribution to journalArticleAcademicpeer-review

11 Citations (Scopus)


In this article, we extend the Barendregt Cube with ¿-conversion (which is the analogue of ß-conversion, on product type level) and study its properties. We use this extension to separate the problem of whether a term is typable from the problem of what is the type of a term.
Original languageEnglish
Pages (from-to)245-267
JournalJournal of Functional Programming
Issue number2
Publication statusPublished - 1996


Dive into the research topics of 'Canonical typing and $\Pi$-conversion in the Barendregt cube'. Together they form a unique fingerprint.

Cite this