Lectures on the Curry-Howard Isomorphism More Books Like This

Proof and Computation Proof and Computation
Proof and Computation
2018
Twenty Five Years of Constructive Type Theory Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory
1998
Sets And Computations Sets And Computations
Sets And Computations
2017
Logic and Algebra Logic and Algebra
Logic and Algebra
2017
Complexity, Logic, and Recursion Theory Complexity, Logic, and Recursion Theory
Complexity, Logic, and Recursion Theory
2019
Proof Theory Proof Theory
Proof Theory
2013
Mathematical Logic and Theoretical Computer Science Mathematical Logic and Theoretical Computer Science
Mathematical Logic and Theoretical Computer Science
2020
Elementary Induction on Abstract Structures Elementary Induction on Abstract Structures
Elementary Induction on Abstract Structures
2014
Beyond First Order Model Theory, Volume I Beyond First Order Model Theory, Volume I
Beyond First Order Model Theory, Volume I
2017
Realizability Realizability
Realizability
2008
Relations: Concrete, Abstract, and Applied Relations: Concrete, Abstract, and Applied
Relations: Concrete, Abstract, and Applied
2020
Mathematical Foundations of Quantum Theory Mathematical Foundations of Quantum Theory
Mathematical Foundations of Quantum Theory
2012
Functional Interpretations Functional Interpretations
Functional Interpretations
2019
Developments in Nonstandard Mathematics Developments in Nonstandard Mathematics
Developments in Nonstandard Mathematics
2020
Fundamentals of Mathematical Logic Fundamentals of Mathematical Logic
Fundamentals of Mathematical Logic
2018