scientific article; zbMATH DE number 1497851

zbMath0966.68045MaRDI QIDQ4499281

Takeuti Izumi

Publication date: 5 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

beta-eta-normal linear terms

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• BCK-combinators and linear \(\lambda\)-terms have types
• Principal types of BCK-lambda-terms
• The number of proofs for a BCK-formula
• The Relevance Graph of a BCK-Formula
• Pruning simply typed  -terms
• Unnamed Item
• Unnamed Item

This page was built for publication: