Back to Results
First PageMeta Content
Logic / Mathematical logic / Proof theory / Abstraction / Intuitionism / Constructivism / Logic in computer science / Model theory / Dialectica interpretation / Intuitionistic logic / Realizability / First-order logic


A complexity analysis of functional interpretations 1 Mircea-Dan HERNEST a,2 and Ulrich KOHLENBACH b,3 a Laboratoire ´
Add to Reading List

Document Date: 2012-08-23 09:24:17

Open Document

File Size: 443,46 KB

Share Result on Facebook