scientific article

From MaRDI portal

Revision as of 11:59, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3296530

Jump to:navigation, search

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.

Mathematics Subject Classification ID

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)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3296530&oldid=16517223"