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
|