Proof and Computation المزيد من الكتب المشابهة

PROOF AND COMPUTATION II PROOF AND COMPUTATION II
PROOF AND COMPUTATION II
٢٠٢١
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
٢٠٠٧
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
٢٠٠٨
Gentzen's Centenary Gentzen's Centenary
Gentzen's Centenary
٢٠١٥
Twenty Five Years of Constructive Type Theory Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory
١٩٩٨
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
٢٠١١
Effective Mathematics of the Uncountable Effective Mathematics of the Uncountable
Effective Mathematics of the Uncountable
٢٠١٣
Complexity, Logic, and Recursion Theory Complexity, Logic, and Recursion Theory
Complexity, Logic, and Recursion Theory
٢٠١٩
Logic and Algebra Logic and Algebra
Logic and Algebra
٢٠١٧
Lectures on the Curry-Howard Isomorphism Lectures on the Curry-Howard Isomorphism
Lectures on the Curry-Howard Isomorphism
٢٠٠٦
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science
٢٠١٨
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science
٢٠٢٢
Completeness Theory for Propositional Logics Completeness Theory for Propositional Logics
Completeness Theory for Propositional Logics
٢٠٠٨
Foundations of Software Science and Computational Structures Foundations of Software Science and Computational Structures
Foundations of Software Science and Computational Structures
٢٠١٠
Rewriting, Computation and Proof Rewriting, Computation and Proof
Rewriting, Computation and Proof
٢٠٠٧