Back to Results
First PageMeta Content
Proof theory / Functions and mappings / Logic in computer science / Function / Primitive recursive function / Curry–Howard correspondence / Second-order logic / Modal logic / Computational complexity theory / Mathematics / Logic / Mathematical logic


Extracting Feasible Programs
Add to Reading List

Document Date: 2006-01-11 06:16:21

Open Document

File Size: 82,47 KB

Share Result on Facebook
UPDATE