scientific article; zbMATH DE number 2134916
From MaRDI portal
Publication:4650583
zbMath1069.03056MaRDI QIDQ4650583
Olivier Laurent, Lorenzo Tortora de Falco
Publication date: 18 February 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
injectivitypolarized fragment of linear logicsimply typed \(\lambda\)-calculus with pairingsliced proof-net
Functional programming and lambda calculus (68N18) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)
Related Items (6)
Weak typed Böhm theorem on IMLL ⋮ Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic ⋮ A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic ⋮ Thick Subtrees, Games and Experiments ⋮ Strong normalization property for second order linear logic ⋮ Syntax vs. semantics: A polarized approach
This page was built for publication:
