First Page | Document Content | |
---|---|---|
Date: 2013-08-13 06:31:25Algebra Type theory Initial algebra F-algebra Von Neumann algebra Mathematical proof Algebraic structure PRO Mathematics Functional programming Category theory | Meta-Theory a` la Carte Benjamin DelawareAdd to Reading ListSource URL: users.ugent.beDownload Document from Source WebsiteFile Size: 219,08 KBShare Document on Facebook |