scientific article; zbMATH DE number 1289305
zbMATH Open0939.18001MaRDI QIDQ4243759FDOQ4243759
Authors:
Publication date: 24 May 1999
Title of this publication is not available (Why is that?)
Recommendations
latticesfoundations of mathematicscategory theoryposetstextbookstructural recursionadjunction between syntax and semanticssyntactic category of a theory
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Mathematics in general (00A05) Methodology of mathematics (00A35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordered structures (06-01)
Cited In (54)
- Bicategorical type theory: semantics and syntax
- Constructing initial algebras using inflationary iteration
- A Categorical Aspect of the Analogy Between Quantifiers and Modalities
- Type-theoretic approaches to ordinals
- A categorical framework for learning generalised tree automata
- A new framework for declarative programming
- Recursive coalgebras of finitary functors
- Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness
- CPO semantics of timed interactive actor networks
- Well-founded coalgebras, revisited
- Quotient completion for the foundation of constructive mathematics
- Darboux calculus
- Relative full completeness for bicategorical Cartesian closed structure
- M-shaped and other exotic solitons generated by cubic-quintic saturable nonlinearities in a nonlinear electrical transmission network with higher-order dispersion effects
- Logic of negation-complete interactive proofs (formal theory of epistemic deciders)
- Contexts, refinement and determinism
- Semantic analysis of normalisation by evaluation for typed lambda calculus
- Semi-abelian categories
- Localization, monoid sets and \(K\)-theory
- Bicategories in univalent foundations
- Distributivity of categories of coalgebras
- Computational adequacy for recursive types in models of intuitionistic set theory
- Proof theory in the abstract
- Kleisli morphisms and randomized congruences for the Giry monad
- Identity types and weak factorization systems in Cauchy complete categories
- Map composition generalized to coherent collections of maps.
- Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies
- Parameterised notions of computation
- The identity type weak factorisation system
- Understanding one another: making out meanings with Boolean equations
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
- Logic of intuitionistic interactive proofs (formal theory of perfect knowledge transfer)
- What is a finitely related object, categorically?
- Recursive coalgebras from comonads
- Title not available (Why is that?)
- Two-dimensional models of type theory
- The biequivalence of locally Cartesian closed categories and Martin-Löf type theories
- Relations on hypergraphs
- Intuitionistic sets and ordinals
- Generic tools via general refinement
- Ordinals in Frobenius monads
- General refinement. II: Flexible refinement
- Extending conceptualisation modes for generalised formal concept analysis
- Title not available (Why is that?)
- Symmetric Heyting relation algebras with applications to hypergraphs
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Dedekind reals in abstract Stone duality
- Title not available (Why is that?)
- Pick two points in a tree
- Kernels, in a nutshell
- Filter pairs and natural extensions of logics
- Quantum logic in dagger kernel categories
- The biequivalence of locally Cartesian closed categories and Martin-Löf type theories
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4243759)
