Principal type-schemes of BCI-lambda-terms

DOI10.1007/3-540-54415-1_68MaRDI QIDQ5096242zbMATH OpenOpenAlexFDO

Authors Sachio Hirokawa

Publication date 16 August 2022

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

Full work available at URL https://doi.org/10.1007/3-540-54415-1_68

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Principal types of BCK-lambda-terms
• The converse principal type-scheme theorem in lambda calculus
• On Principal Types of BCK-λ-Terms
• The Relevance Graph of a BCK-Formula
• On principal types of combinators

Cites work

• BCK and BCI logics, condensed detachment and the 2-property
• BCK-combinators and linear \(\lambda\)-terms have types
• Condensed detachment is complete for relevance logic: A computer-aided proof
• scientific article; zbMATH DE number 3668594 (Why is no real title available?)
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• Linear logic
• PRINCIPAL TYPE ASSIGNMENT TO LAMBDA TERMS
• Principal type-schemes and condensed detachment
• Principal types of BCK-lambda-terms
• The converse principal type-scheme theorem in lambda calculus
• The Principal Type-Scheme of an Object in Combinatory Logic
• Über Tautologien, in Welchen Keine Variable Mehr Als Zweimal Vorkommt

Cited in

(5)

• The converse principal type-scheme theorem in lambda calculus
• Principal types of BCK-lambda-terms
• Principal type-schemes and condensed detachment
• The Relevance Graph of a BCK-Formula
• scientific article; zbMATH DE number 1497851 (Why is no real title available?)

This page was built for publication: Principal type-schemes of BCI-lambda-terms

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