activity
20002022
most citedExtending a system in the calculus of structures with a self-dual quantifier

7 citations · 28 across the 17 of their papers we have counts for

collaborators
Showing 2019 · cs.LOShow all

1 paper · 2 filters

cs.LO2019

A type-assignment of linear erasure and duplication

Gianluca Curzi, Luca Roversi

We introduce , a type-assignment system for the linear -calculus that extends second-order , i.e., intuitionistic multiplicative Linear Logic, by…