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