Unique decomposition categories, Geometry of Interaction and combinatory logic

DOI10.1017/S0960129599003035zbMath0951.03062OpenAlexW2099951171MaRDI QIDQ4487270

Esfandiar Haghverdi

Publication date: 21 June 2000

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129599003035

zbMATH Keywords

proof netsdynamic algebrasgeometry of interactioncomputational analysisdecomposition categories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40)

Related Items (21)

A Representation Theorem for Unique Decomposition Categories ⋮ From Coalgebraic to Monoidal Traces ⋮ A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces ⋮ Commutative Semantics for Probabilistic Programming ⋮ Towards a typed Geometry of Interaction ⋮ Machine semantics ⋮ Classical Structures Based on Unitaries ⋮ Quantum circuit oracles for abstract machine computations ⋮ Proofs as Polynomials ⋮ Towards a geometry of recursion ⋮ On the Functor ℓ2 ⋮ Categories of Timed Stochastic Relations ⋮ Join Inverse Categories as Models of Reversible Recursion ⋮ lambda!-calculus, Intersection Types, and Involutions ⋮ Inversion, Iteration, and the Art of Dual Wielding ⋮ Physical Traces ⋮ The Uniformity Principle on Traced Monoidal Categories ⋮ A structural approach to reversible computation ⋮ Aspects of Categorical Recursion Theory ⋮ Conformal Field Theory as a Nuclear Functor ⋮ A categorical model for the geometry of interaction

This page was built for publication: Unique decomposition categories, Geometry of Interaction and combinatory logic