scientific article
From MaRDI portal
Publication:3978985
zbMath0736.18005MaRDI QIDQ3978985
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
Facets of descent. I ⋮ Interpolation property for bicartesian closed categories ⋮ Convenient category of processes and simulations I: Modulo strong bisimilarity ⋮ On completeness and cocompleteness in and around small categories ⋮ Cauchy completeness, lax epimorphisms and effective descent for split fibrations ⋮ Unnamed Item ⋮ A 2-categorical proof of Frobenius for fibrations defined from a generic point ⋮ Topological quantum gates in homotopy type theory
This page was built for publication: