Back to Results
First PageMeta Content
Dependently typed programming / Logic in computer science / Type theory / Proof theory / Curry–Howard correspondence / Philosophy of computer science / Lambda calculus / Intuitionistic type theory / Constructible universe / Mathematics / Mathematical logic / Theoretical computer science


The inconsistency of a Brouwerian continuity principle with the Curry–Howard interpretation Martín Hötzel Escardó1 and Chuangjie Xu1 1 School of Computer Science, University of Birmingham, UK
Add to Reading List

Document Date: 2015-04-15 05:54:45

Open Document

File Size: 368,25 KB

Share Result on Facebook

Company

Dagstuhl Publishing / /

Country

Germany / /

Facility

University of Birmingham / /

IndustryTerm

finite products / bounded search / /

Organization

School of Computer Science / University of Birmingham / /

Person

Thierry Coquand / Maria Emilia Maietti / Chuangjie Xu / Martín Hötzel Escardó / Martín Hötzel / Per Martin-Löf / Thorsten Altenkirch / /

Position

Editor / /

ProgrammingLanguage

J / /

ProvinceOrState

Connecticut / /

Technology

Digital Object Identifier / /

SocialTag