scientific article; zbMATH DE number 877751
From MaRDI portal
Publication:4877444
zbMath0852.18008MaRDI QIDQ4877444
Publication date: 1 December 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Topoi (18B25) Fibered categories (18D30) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items
Convenient category of processes and simulations I: Modulo strong bisimilarity, Quotient completion for the foundation of constructive mathematics, (Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras, Coherence in linear predicate logic, Structural induction and coinduction in a fibrational setting, Factorization systems and fibrations
