LNL polycategories and doctrines of linear logic

From MaRDI portal
Publication:6135749

DOI10.46298/lmcs-19(2:1)2023arXiv2106.15042MaRDI QIDQ6135749

Michael Shulman

Publication date: 26 August 2023

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2106.15042





Cites Work