scientific article; zbMATH DE number 7308469
From MaRDI portal
Publication:5150151
zbMath1454.03081MaRDI QIDQ5150151
Antonio Bucciarelli, Thomas Ehrhard, Alberto Carraro, Antonino Salibra
Publication date: 9 February 2021
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?LINEARITY2009.4
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (2)
Atomicity, coherence of information, and point-free structures ⋮ Normal forms, linearity, and prime algebraicity over nonflat domains
This page was built for publication:
