Refining the Barendregt cube using parameters

DOI10.1007/3-540-44716-4_24MaRDI QIDQ2763649zbMATH OpenFDO

Authors Fairouz Kamareddine, Twan Laan, Rob Nederpelt

Publication date 21 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2024/20240375

zbMATH Keywords

Barendregt cubelambda calculustype systems

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 2086242
• Introduction to generalized type systems
• Comparing cubes
• Comparing cubes of typed and type assignment systems
• A schematic proof of strong normalization for the system of the -cube

Cited in

(5)

• Revisiting the notion of function
• scientific article; zbMATH DE number 2086242 (Why is no real title available?)
• Bridging Curry and Church's typing style
• Comparing cubes
• Automath and Pure Type Systems

Describes a project that uses

Uses Software

• Automath

This page was built for publication: Refining the Barendregt cube using parameters

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2763649)