scientific article
From MaRDI portal
Publication:2778817
zbMath0981.03028MaRDI QIDQ2778817
Publication date: 21 March 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2044/20440076
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
(Optimal) duplication is not elementary recursive ⋮ Non-linearity as the Metric Completion of Linearity ⋮ Phase semantics and decidability of elementary affine logic ⋮ Controlling Program Extraction in Light Logics ⋮ Realizability models and implicit complexity ⋮ Type inference for light affine logic via constraints on words ⋮ A semantic proof of polytime soundness of light affine logic
This page was built for publication:
