scientific article
From MaRDI portal
Publication:2851319
zbMath1273.03100MaRDI QIDQ2851319
Publication date: 10 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106001617
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)
This page was built for publication:
