research
∙
07/18/2022
Multiplicative linear logic from a resolution-based tile system
We present the stellar resolution, a "flexible" tile system based on Rob...
share
research
∙
12/07/2020
Stellar Resolution: Multiplicatives – for the linear logician, through examples
The stellar resolution is an asynchronous model of computation used in G...
research
∙
07/31/2020
