scientific article; zbMATH DE number 7356671
From MaRDI portal
Publication:4992391
zbMath1464.68051MaRDI QIDQ4992391
Publication date: 8 June 2021
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2012.5
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (1)
This page was built for publication:
