scientific article; zbMATH DE number 786499
From MaRDI portal
Publication:4842980
zbMath0854.03011MaRDI QIDQ4842980
Vincent Danos, Laurent Regnier
Publication date: 16 August 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Combinatory logic and lambda calculus (03B40)
Related Items
A semantic account of strong normalization in linear logic, Paths-based criteria and application to linear logic subsystems characterizing polynomial time, On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets, Interaction combinators, Weak typed Böhm theorem on IMLL, Interaction graphs: additives, Additives of linear logic and normalization. I: A (restricted) Church-Rosser property., Abstract machines, optimal reduction, and streams, Proof nets and the call-by-value \(\lambda\)-calculus, Light logics and optimal reduction: completeness and complexity, The relational model is injective for multiplicative exponential linear logic (without weakenings), Unnamed Item, Unnamed Item, Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach, On intuitionistic proof nets with additional rewrite rules and their approximations, Proofs as Polynomials, A semantic measure of the execution time in linear logic, On the Functor ℓ2, Interaction graphs: multiplicatives, Unnamed Item, An Explicit Framework for Interaction Nets, Linear logic by levels and bounded time complexity, A MALL geometry of interaction based on indexed linear logic, Polarized proof-nets and \(\lambda \mu\)-calculus, An abstract approach to stratification in linear logic, Conformal Field Theory as a Nuclear Functor, Handshake Games, Observational Equivalence for the Interaction Combinators and Internal Separation, The additive multiboxes, Interactive observability in Ludics: the geometry of tests, A categorical model for the geometry of interaction
