https://lmcs.episciences.org/2239
#2239 - From Proof Nets to the Free *-Autonomous Category
In the first part of this paper we present a theory of proof nets for full multiplicative linear logic, including the two units. It naturally extends the...
proof netsto theautonomous categoryfree
https://www.meyabond.com/news-detail/2042827624872693760.html
Insect Proof Nets: A Must-Have for Sustainable Farming
Insect Proof Nets: A Must-Have for Sustainable Farming Table of Contents 1. Introduction to Insect Proof Nets 2. The Importance of Insect Proof Nets in...
proof netsa mustsustainable farminginsect