scientific article; zbMATH DE number 193320
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Combinatory logic and lambda calculus (03B40) Metamathematics of constructive systems (03F50) Categorical logic, topoi (03G30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Foundations, relations to logic and deductive systems (18A15) Topoi (18B25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
- Universal profinite domains
- Partial morphisms in categories of effective objects
- New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
- On the equational definition of the least prefixed point.
- Geometry and generality in Frege's philosophy of arithmetic.
- Morita equivalence of semigroups revisited: firm semigroups
- Ehresmann semigroups from a range restriction viewpoint
- Filter quotients and non-presentable \((\infty,1)\)-toposes
- Curry-Howard-Lambek correspondence for intuitionistic belief
- A string diagrammatic axiomatisation of finite-state automata
- Reverse AD at higher types: pure, principled and denotationally correct
- Coherence in SMCCs and equivalences on derivations in IMML with unit
- Is `no' a force-indicator? Yes, sooner or later!
- Structuring co-constructive logic for proofs and refutations
- On concurrent games with payoff
- A constructive manifestation of the Kleene-Kreisel continuous functionals
- Automorphisms of types in certain type theories and representation of finite groups
- Categorical complexity
- Two roads to classicality
- Transport of finiteness structures and applications
- Ologisms
- scientific article; zbMATH DE number 910440 (Why is no real title available?)
- Partial recursive functions and finality
- Topological rigidity as a monoidal equivalence
- Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus
- Dynamic game semantics
- Strong typed Böhm theorem and functional completeness on the linear lambda calculus
- Linearizing combinators
- Dual-context calculi for modal logic
- A categorical reduction system for linear logic
- Type similarity for the Lambek-Grishin calculus revisited
- Sets in homotopy type theory
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams
- Mechanising Gödel-Löb provability logic in HOL light
- A formal logic for formal category theory
- CHAD for expressive total languages
- The syntactic side of autonomous categories enriched over generalised metric spaces
- Topogenous orders and closure operators on posets
- The far side of the cube. An elementary introduction to game semantics
- Disentangling parallelism and interference in game semantics
- Two-dimensional Kripke semantics. II: Stability and completeness
- A categorical framework for program semantics and semantic abstraction
- Categorical structure in coherent theory of arithmetic
- Comparing Hagino's categorical programming language and typed lambda- calculi
- Type isomorphisms for multiplicative-additive linear logic
- A categorical approach to DIBI models
- Two-dimensional Kripke semantics i: presheaves
- A new conjecture about identity of proofs
- Aczel-Mendler bisimulations in a regular category
- Pure type systems without explicit contexts
- Comodule representations of second-order functionals
- Quantifier-free formulas and quantifier alternation depth in doctrines
- Linear logic and the Hilbert scheme
- Cohomology of small Cartesian closed categories
- Proof-theoretic semantics for intuitionistic multiplicative linear logic
- YALLA: yet another deep embedding of linear logic in Rocq
- Extending computational trinitarianism
- Simply-typed constant-domain modal lambda calculus. I: Distanced beta reduction and combinatory logic
- Linearly distributive Fox theorem
- Notions of computation and monads
- Sheaf tools for computation
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 Q4040149)
