scientific article; zbMATH DE number 1497851

zbMATH Open0966.68045MaRDI QIDQ4499281FDOQ4499281

Authors: Takeuti Izumi 

Publication date: 5 March 2001

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

beta-eta-normal linear terms

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• Title not available (Why is that?)
• Principal types of BCK-lambda-terms
• BCK-combinators and linear \(\lambda\)-terms have types
• The number of proofs for a BCK-formula
• Pruning simply typed  -terms
• Title not available (Why is that?)
• The Relevance Graph of a BCK-Formula

Cited In (2)

• Pruning simply typed  -terms
• On Principal Types of BCK-λ-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)