An algebraic investigation of Linear Logic
From MaRDI portal
Publication:6437365
arXiv2305.12408MaRDI QIDQ6437365
Publication date: 21 May 2023
This page was built for publication: An algebraic investigation of Linear Logic