First Page | Document Content | |
---|---|---|
Date: 2010-11-07 05:35:59Logic 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 ScienceAdd to Reading ListSource URL: www.cs.ru.nlDownload Document from Source WebsiteFile Size: 240,93 KBShare Document on Facebook |