Back to Results
First PageMeta Content
Mathematical logic / Intuitionism / Epistemology / Philosophy of mathematics / Logic in computer science / Constructivism / Constructive proof / Constructive analysis / Intuitionistic logic / Mathematics / Mathematical constructivism / Logic


Constructive Mathematics and Functional Programming Thierry Coquand Budapest, April 1, 2008 Constructive Mathematics and Functional Programming
Add to Reading List

Document Date: 2009-06-09 09:06:02

Open Document

File Size: 175,42 KB

Share Result on Facebook

City

Nottingham / /

Currency

BRL / /

Person

Thierry Coquand Budapest / B. Werner Checking / X. Leroy A Compiled / /

Position

R. Constable / Bishop / /

ProgrammingLanguage

R / L / /

Technology

Functional Programming / /

SocialTag