MFPS[removed]Towards a Common Categorical Semantics

First Page		Document Content
Date: 2012-04-24 15:13:37 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 Source URL: www.ioc.ee Download Document from Source Website File Size: 334,19 KB Share Document on Facebook

	501 Documenta Math. Tamagawa Numbers for Motives with (Non-Commutative) Coefficients DocID: 1rmzL - View Document
	879 Documenta Math. Rectification of Algebras and Modules Vladimir Hinich DocID: 1rdIB - View Document
	Product systems over Ore monoids DocID: 1rcVf - View Document
	arXiv:0903.0340v3 [quant-ph] 6 JunPhysics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California DocID: 1r6vo - View Document
	707 Documenta Math. Drinfeld Centers for Bicategories Ehud Meir and Markus Szymik DocID: 1qNL6 - View Document