Two Cartesian closed categories of information algebras
J. Comput. Syst. Sci.
Cartesian closed category
Sorry, we couldn't extract any citations for this paper.
Sorry, we couldn't extract any references for this paper.
Loading similar papers…
Presentations referencing similar topics
Cartesian differential categories
J. R. B. Cockett • Oct 01, 2014
Seely Biequivalence Proving the biequivalence Conclusion The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theory
Pierre Clairambault + 1 • Nov 19, 2015
Towards a notion of Cartesian differential storage category
R. A. G. Seely • Mar 20, 2015