The Barendregt cube with definitions and generalised reduction

DOI10.1006/inco.1996.0041zbMath0853.68116OpenAlexW2087917645MaRDI QIDQ1917101

Fairouz Kamareddine, Roel Bloo, Rob Nederpelt

Publication date: 3 July 1996

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://research.tue.nl/nl/publications/the-barendregt-cube-with-definitions-and-generalised-reduction(3e63d70b-efaa-471b-937e-adf6bb634632).html

zbMATH Keywords

Barendregt cube

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Strong normalization from weak normalization in typed \(\lambda\)-calculi ⋮ A useful \(\lambda\)-notation ⋮ Automath Type Inclusion in Barendregt’s Cube ⋮ Revisiting the notion of function ⋮ CPS transformation of beta-redexes ⋮ On \(\Pi\)-conversion in the \(\lambda\)-cube and the combination with abbreviations

This page was built for publication: The Barendregt cube with definitions and generalised reduction