First Page | Document Content | |
---|---|---|
Date: 2012-04-24 15:13:37Logic Monad Curry–Howard correspondence Monoidal category Cartesian closed category Categorical logic Kripke semantics Modal logic Strong monad Category theory Mathematics Adjoint functors | MFPS[removed]Towards a Common Categorical SemanticsAdd to Reading ListSource URL: www.ioc.eeDownload Document from Source WebsiteFile Size: 334,19 KBShare Document on Facebook |