New foundations for the geometry of interaction

DOI10.1006/INCO.1994.1041zbMath0803.03014DBLPjournals/iandc/AbramskyJ94OpenAlexW2166666657WikidataQ57006873 ScholiaQ57006873MaRDI QIDQ1327394

Radha Jagadeesan, Samson Abramsky

Publication date: 18 July 1994

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/59233100ef2fc7ca54b265a03de3ba50aaf2bc80

zbMATH Keywords

domainleast fixed-pointcategorical interpretationsecond-order linear logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Related Items (33)

Proofs as processes ⋮ On the \(\pi\)-calculus and linear logic ⋮ Causality and true concurrency: A data-flow analysis of the Pi-Calculus ⋮ Interaction graphs: additives ⋮ Retracing some paths in process algebra ⋮ Aristotle on Universal Quantification: A Study from the Point of View of Game Semantics ⋮ Attribute Grammars and Categorical Semantics ⋮ Unnamed Item ⋮ A specification structure for deadlock-freedom of synchronous processes ⋮ Logic and Geometry of Agents in Agent-Based Modeling ⋮ Towards a typed Geometry of Interaction ⋮ Symmetry and Interactivity in Programming ⋮ Machine semantics ⋮ Proofs as Polynomials ⋮ Towards Hilbert's 24th Problem: Combinatorial Proof Invariants ⋮ Towards a geometry of recursion ⋮ Linear realizability and full completeness for typed lambda-calculi ⋮ Specification structures and propositions-as-types for concurrency ⋮ The game semantics of game theory ⋮ Lambek-Grishin calculus: focusing, display and full polarization ⋮ Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers ⋮ (Towards a) statistical probabilistic lazy lambda calculus ⋮ Unnamed Item ⋮ On traced monoidal closed categories ⋮ An Explicit Framework for Interaction Nets ⋮ Physical Traces ⋮ Feedback for linearly distributive categories: Traces and fixpoints ⋮ From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference ⋮ A structural approach to reversible computation ⋮ Event Domains, Stable Functions and Proof-Nets ⋮ Conformal Field Theory as a Nuclear Functor ⋮ Handshake Games ⋮ A categorical model for the geometry of interaction

This page was built for publication: New foundations for the geometry of interaction