scientific article; zbMATH DE number 1497851

MaRDI QIDQ4499281zbMATH OpenFDO

Authors Takeuti Izumi

Publication date 5 March 2001

zbMATH Keywords

beta-eta-normal linear terms

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Pruning simply typed  -terms
• PRINCIPAL TYPE ASSIGNMENT TO LAMBDA TERMS
• Principal type-schemes of BCI-lambda-terms

Cites work

• scientific article; zbMATH DE number 1678364 (Why is no real title available?)
• scientific article; zbMATH DE number 1042221 (Why is no real title available?)
• BCK-combinators and linear \(\lambda\)-terms have types
• Principal types of BCK-lambda-terms
• Pruning simply typed  -terms
• The Relevance Graph of a BCK-Formula
• The number of proofs for a BCK-formula

Cited in

(2)

• On Principal Types of BCK-λ-Terms
• Pruning simply typed  -terms

This page was built for publication:

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