![Mathematical logic / Lambda calculus / Natural deduction / Curry–Howard correspondence / Cut-elimination theorem / Sequent calculus / Sequent / Theorem / Calculus / Proof theory / Logic / Mathematics Mathematical logic / Lambda calculus / Natural deduction / Curry–Howard correspondence / Cut-elimination theorem / Sequent calculus / Sequent / Theorem / Calculus / Proof theory / Logic / Mathematics](https://www.pdfsearch.io/img/4e698f96589b37cdc4bf0243427407c2.jpg)
| Document Date: 2005-12-12 05:17:05 Open Document File Size: 196,27 KBShare Result on Facebook
/ Facility HELM1 library / / IndustryTerm external tools / / Organization European Union / T.c Command / Ecole Polytechnique / / Person Claudio Sacerdoti Coen / / Position proof assistant / mathematician / / ProgrammingLanguage XSLT / XML / K / / ProvinceOrState Alberta / British Columbia / / Technology Knowledge Management / XSLT / / URL http /
SocialTag |