scientific article; zbMATH DE number 193320
zbMATH Open0642.03002MaRDI QIDQ4040149FDOQ4040149
Authors: Philip Scott, J. Lambek 
Publication date: 5 June 1993
Title of this publication is not available (Why is that?)
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) Topoi (18B25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Foundations, relations to logic and deductive systems (18A15) Research exposition (monographs, survey articles) pertaining to category theory (18-02)
Cited In (43)
- Type similarity for the Lambek-Grishin calculus revisited
- Linearizing combinators
- Comparing Hagino's categorical programming language and typed lambda- calculi
- Structuring co-constructive logic for proofs and refutations
- On concurrent games with payoff
- Automorphisms of types in certain type theories and representation of finite groups
- Partial morphisms in categories of effective objects
- Title not available (Why is that?)
- Universal profinite domains
- Topogenous orders and closure operators on posets
- CHAD for expressive total languages
- Notions of computation and monads
- Coherence in SMCCs and equivalences on derivations in IMML with unit
- A categorical reduction system for linear logic
- A string diagrammatic axiomatisation of finite-state automata
- Reverse AD at higher types: pure, principled and denotationally correct
- Sheaf tools for computation
- A formal logic for formal category theory
- A constructive manifestation of the Kleene-Kreisel continuous functionals
- The syntactic side of autonomous categories enriched over generalised metric spaces
- The far side of the cube. An elementary introduction to game semantics
- Ehresmann semigroups from a range restriction viewpoint
- Topological rigidity as a monoidal equivalence
- Dynamic game semantics
- Title not available (Why is that?)
- Filter quotients and non-presentable \((\infty,1)\)-toposes
- Partial recursive functions and finality
- Sets in homotopy type theory
- Disentangling parallelism and interference in game semantics
- Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus
- Morita equivalence of semigroups revisited: firm semigroups
- New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
- Curry-Howard-Lambek correspondence for intuitionistic belief
- Categorical complexity
- Is `no' a force-indicator? Yes, sooner or later!
- Mechanising Gödel-Löb provability logic in HOL light
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams
- Transport of finiteness structures and applications
- Strong typed Böhm theorem and functional completeness on the linear lambda calculus
- On the equational definition of the least prefixed point.
- Geometry and generality in Frege's philosophy of arithmetic.
- Ologisms
- Two roads to classicality
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)
