7 citations · 28 across the 17 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
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…
cs.PL2019
Introducing Yet Another REversible Language
Claudio Grandi, Dariush Moshiri, Luca Roversi
Yarel is a core reversible programming language that implements a class of permutations, defined recursively, which are primitive recursive complete. The current release of Yarel s…