Pedagogical second-order -calculus

DOI10.1016/J.TCS.2009.04.020MaRDI QIDQ732007zbMATH OpenOpenAlexFDO

Authors Loïc Colson, David Michel

Publication date 9 October 2009

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

Full work available at URL https://doi.org/10.1016/j.tcs.2009.04.020

zbMATH Keywords

constructive mathematicsnatural deductiontyped \(\lambda \)-calculusnegationless mathematics

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Pedagogical lambda-cube: the \(\lambda^{2}\) case
• Pedagogical Second-order Propositional Calculi
• Lectures on the Curry-Howard isomorphism
• scientific article; zbMATH DE number 46869
• scientific article; zbMATH DE number 1361532

Cites work

• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 3614784 (Why is no real title available?)
• scientific article; zbMATH DE number 1324438 (Why is no real title available?)
• scientific article; zbMATH DE number 1456954 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3059607 (Why is no real title available?)
• scientific article; zbMATH DE number 3066805 (Why is no real title available?)
• scientific article; zbMATH DE number 3085190 (Why is no real title available?)
• scientific article; zbMATH DE number 3085796 (Why is no real title available?)
• scientific article; zbMATH DE number 3099239 (Why is no real title available?)
• scientific article; zbMATH DE number 3111914 (Why is no real title available?)
• A complete negationless system
• A negationless interpretation of intuitionistic theories. I
• A negationless interpretation of intuitionistic theories. II
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Deductive capabilities of negationless intuitionistic arithmetic
• Intuitionism. An introduction
• Non-null implication
• Pedagogical Second-order Propositional Calculi

Cited in

(3)

• Semantics of the second order lambda calculus
• Pedagogical lambda-cube: the \(\lambda^{2}\) case
• Pedagogical Second-order Propositional Calculi

This page was built for publication: Pedagogical second-order \(\lambda \)-calculus

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