Back to Results
First PageMeta Content
Logic / 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 Semantics
Add to Reading List

Document Date: 2012-04-24 15:13:37

Open Document

File Size: 334,19 KB

Share Result on Facebook
UPDATE