Dialectica

Dialectica
Results: 91

#	Item
91	PDF Document Add to Reading List Source URL: arxiv.org Language: English - Date: 2011-06-02 20:33:30 Mathematical constructivism Proof theory Intuitionism Non-classical logic Propositional calculus Realizability Intuitionistic logic Curry–Howard correspondence Dialectica interpretation Logic Mathematical logic Mathematics

UPDATE