Lectures on the Curry-Howard Isomorphism More Books Like This

Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
2007
Proof Theory for Fuzzy Logics Proof Theory for Fuzzy Logics
Proof Theory for Fuzzy Logics
2008
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
2011
Advances in Mathematical Logic Advances in Mathematical Logic
Advances in Mathematical Logic
2022
Axiomatic Thinking II Axiomatic Thinking II
Axiomatic Thinking II
2022
Proof and Computation Proof and Computation
Proof and Computation
2018
Applied Proof Theory: Proof Interpretations and their Use in Mathematics Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
2008
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science
2018
Automated Reasoning Automated Reasoning
Automated Reasoning
2022
Twenty Five Years of Constructive Type Theory Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory
1998
A Modern Perspective on Type Theory A Modern Perspective on Type Theory
A Modern Perspective on Type Theory
2006
Mathematical Problems from Applied Logic II Mathematical Problems from Applied Logic II
Mathematical Problems from Applied Logic II
2007
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
2022
Sets And Computations Sets And Computations
Sets And Computations
2017
Logic and Algebra Logic and Algebra
Logic and Algebra
2017