Weak consequence relation between -terms

DOI10.21146/2074-1472-2018-24-2-151-157MaRDI QIDQ3119291zbMATH OpenOpenAlexFDO

Authors

Publication date 11 March 2019

Published in Logical Investigations (Search for Journal in Brave)

Full work available at URL https://doi.org/10.21146/2074-1472-2018-24-2-151-157

zbMATH Keywords

\(\lambda\)-calculus with typesconsequence relation

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Logical relations and the typed λ-calculus
• The Impact of the Lambda Calculus in Logic and Computer Science
• scientific article; zbMATH DE number 4045707
• A linearization of the Lambda-calculus and consequences
• \(\lambda_{\beta'}\) -- a \(\lambda\)-calculus with a generalized \(\beta\)-reduction rule

This page was built for publication: Weak consequence relation between \(\lambda\)-terms

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