Back to Results
First PageMeta Content
Computing / Lambda calculus / Program analysis / Type system / ParisTech / Normalisation by evaluation / Coq / Valuation / Programming language theory / Software engineering / Type theory


Dedukti: A Universal Proof Checker
Add to Reading List

Document Date: 2013-12-10 11:27:57

Open Document

File Size: 265,08 KB

Share Result on Facebook
UPDATE