Hybrid linear logic, revisited
From MaRDI portal
Publication:5236552
DOI10.1017/S0960129518000439zbMath1456.03095MaRDI QIDQ5236552
Carlos Olarte, Elaine Pimentel, Joëlle Despeyroux, Kaustuv Chaudhuri
Publication date: 9 October 2019
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Uses Software