Back to Results
First PageMeta Content
Mathematical logic / Lambda calculus / Natural deduction / Curry–Howard correspondence / Cut-elimination theorem / Sequent calculus / Sequent / Theorem / Calculus / Proof theory / Logic / Mathematics


¯ µ-terms Explanation in Natural Language of λµ ˜ Claudio Sacerdoti Coen? ´ Project PCRI, CNRS, Ecole
Add to Reading List

Document Date: 2005-12-12 05:17:05

Open Document

File Size: 196,27 KB

Share 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