Back to Results
First PageMeta Content
Logic / Curry–Howard correspondence / Dependently typed programming / Logic in computer science / Philosophy of computer science / Type theory / Ordinal number / Constructible universe / Function / Mathematics / Mathematical logic / Proof theory


The Peirce Translation and the Double Negation Shift Mart´ın Escard´o1 and Paulo Oliva2 1 2
Add to Reading List

Document Date: 2010-03-30 08:27:21

Open Document

File Size: 173,30 KB

Share Result on Facebook

City

Berlin / San Francisco / Providence / /

Company

Cambridge University Press / Full Dependent Choice / /

Continent

Europe / /

Country

United Kingdom / United States / /

Facility

The bar / Modified bar / University of Birmingham / UK Queen Mary University of London / /

IndustryTerm

above product / countable products / infinite products / extension law / /

Organization

Cambridge University / University of London / University of Birmingham / /

Person

Oliva X N Corollary / Ak / Ai / Aj / D. E. Dekker / Paulo Oliva / Higher Set Theory / /

Position

editor / Recursive Function Theory /

ProvinceOrState

Rhode Island / /

PublishedMedium

Logical Methods in Computer Science / /

SocialTag