Barendregt convention

From dankwiki