scientific article
From MaRDI portal
Publication:2851090
zbMath1272.03084MaRDI QIDQ2851090
Publication date: 2 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105050632
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)
Related Items (2)
Structural rules and algebraic properties of intersection types ⋮ A semantic measure of the execution time in linear logic
This page was built for publication:
