Back to Results
First PageMeta Content
Mathematical 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, France
Add to Reading List

Document Date: 2017-09-19 19:50:55

Open Document

File Size: 175,64 KB

Share Result on Facebook
UPDATE