Publication:3203017
From MaRDI portal
zbMath0716.03047MaRDI QIDQ3203017
Publication date: 1990
Selfadjoint operator algebras ((C^*)-algebras, von Neumann ((W^*)-) algebras, etc.) (46L99) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05)
Related Items
On the \(\pi\)-calculus and linear logic, δο!∈=1 Optimizing optimal λ-calculus implementations, Petri nets, Horn programs, linear logic and vector games, Interaction graphs: graphings, Interaction graphs: additives, Abstract machines, optimal reduction, and streams, A correspondence between maximal abelian sub-algebras and linear logic fragments, Bounded linear logic: A modular approach to polynomial-time computability, Machine semantics, Proofs as Polynomials, Geometry of interaction. V: Logic in the hyperfinite factor, Musings around the geometry of interaction, and coherence, Towards a geometry of recursion, Asymptotic cyclic expansion and bridge groups of formal proofs, On paradoxes in normal form, lambda!-calculus, Intersection Types, and Involutions, Dynamic game semantics, A game-semantic model of computation, Full abstraction for PCF, A structural approach to reversible computation, A categorical model for the geometry of interaction