BCK-combinators and linear -terms have types

DOI10.1016/0304-3975(89)90100-XMaRDI QIDQ1119620zbMATH OpenOpenAlexFDO

Authors J. Roger Hindley

Publication date 1989

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(89)90100-x

zbMATH Keywords

typesBCK-combinatorlinear \(\lambda\)-term

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Principal types of BCK-lambda-terms
• scientific article; zbMATH DE number 1808200
• On principal types of combinators
• scientific article; zbMATH DE number 4204312
• On Principal Types of BCK-λ-Terms

Cites work

• scientific article; zbMATH DE number 3916223 (Why is no real title available?)
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• scientific article; zbMATH DE number 3280068 (Why is no real title available?)
• Combinatory Reductions and Lambda Reductions Compared
• Linear logic

Cited in

(20)

• Principal types of BCK-lambda-terms
• scientific article; zbMATH DE number 1497851 (Why is no real title available?)
• On principal types of combinators
• Gödel's system \(\mathcal T\) revisited
• Linear additives
• Abstract families of abstract categorial languages
• Phase semantics and Petri net interpretation for resource-sensitive strong negation
• A type-assignment of linear erasure and duplication
• On the reification of semantic linearity
• scientific article; zbMATH DE number 7029315 (Why is no real title available?)
• Weak linearization of the lambda calculus
• The number of proofs for a BCK-formula
• Filter models with polymorphic types
• The proofs of α → α in P – W
• Perpetual reductions in \(\lambda\)-calculus
• Principal type-schemes of BCI-lambda-terms
• Strong typed Böhm theorem and functional completeness on the linear lambda calculus
• Compact bracket abstraction in combinatory logic
• The Relevance Graph of a BCK-Formula
• scientific article; zbMATH DE number 3916223 (Why is no real title available?)

This page was built for publication: BCK-combinators and linear \(\lambda\)-terms have types

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