Back to Results
First PageMeta Content
Logic in computer science / Theory of computation / Deduction / Natural deduction / Proof theory / Structural induction / Function / Fold / Motive / Mathematics / Mathematical logic / Logic


Elimination with a Motive Conor McBride Department of Computer Science
Add to Reading List

Document Date: 2010-11-07 05:35:59


Open Document

File Size: 240,93 KB

Share Result on Facebook
UPDATE