The Relevance Graph of a BCK-Formula

DOI10.1093/LOGCOM/3.3.269MaRDI QIDQ4276173zbMATH OpenOpenAlexFDO

Authors Sachio Hirokawa

Publication date 22 June 1994

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/3.3.269

zbMATH Keywords

condensed BCK-logiccondensed detachmentprincipal type schemes of BCK-\(\lambda\)-termsrelevance graphtyped lambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• On Principal Types of BCK-λ-Terms
• Principal types of BCK-lambda-terms
• BCK-combinators and linear \(\lambda\)-terms have types
• Principal type-schemes of BCI-lambda-terms
• scientific article; zbMATH DE number 517044

Cited in

(4)

• Principal types of BCK-lambda-terms
• On Principal Types of BCK-λ-Terms
• scientific article; zbMATH DE number 1497851 (Why is no real title available?)
• Principal type-schemes of BCI-lambda-terms

This page was built for publication: The Relevance Graph of a BCK-Formula

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