scientific article
From MaRDI portal
Publication:3296530
DOI10.4204/EPTCS.292zbMath1436.68024arXiv1904.06159MaRDI QIDQ3296530
No author found.
Publication date: 8 July 2020
Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1904.06159
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Functional programming and lambda calculus (68N18) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
