![Mathematical logic / Logic / Mathematics / Predicate logic / Computability theory / Models of computation / First-order logic / Lambda calculus / Term / Quantifier / Natural deduction / CurryHoward correspondence Mathematical logic / Logic / Mathematics / Predicate logic / Computability theory / Models of computation / First-order logic / Lambda calculus / Term / Quantifier / Natural deduction / CurryHoward correspondence](https://www.pdfsearch.io/img/f4a5a2876bce470b8988dd0944856d14.jpg) Date: 2017-09-19 19:50:55Mathematical logic Logic Mathematics Predicate logic Computability theory Models of computation First-order logic Lambda calculus Term Quantifier Natural deduction CurryHoward correspondence | | Scalable Fine-Grained Proofs for Formula Processing Haniel Barbosa1,2(B) , Jasmin Christian Blanchette3,1,4 , and Pascal Fontaine1 1 Université de Lorraine, CNRS, Inria, LORIA, Nancy, FranceAdd to Reading ListSource URL: pxtp.github.ioDownload Document from Source Website File Size: 175,64 KBShare Document on Facebook
|