scientific article
From MaRDI portal
Publication:3411965
zbMath1114.18002MaRDI QIDQ3411965
Publication date: 30 November 2006
Full work available at URL: http://www.emis.de/journals/TAC/reprints/articles/16/tr16abs.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (11)
Homotopies in Grothendieck fibrations ⋮ The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions ⋮ Homotopy type theory and Voevodsky’s univalent foundations ⋮ Fibered universal algebra for first-order logics ⋮ Categorical approaches to non-commutative fuzzy logic ⋮ A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES ⋮ Type space functors and interpretations in positive logic ⋮ TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC ⋮ A characterisation of the category of compact Hausdorff spaces ⋮ Polyadic sets and homomorphism counting ⋮ Quantum monadic algebras
This page was built for publication:
