37 citations · 96 across the 20 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications
Thomas Ehrhard, Maribel Fernández, Valeria de Paiva +1
This volume contains a selection of papers presented at Linearity/TLLA 2018: Joint Linearity and TLLA workshops (part of FLOC 2018) held on July 7-8, 2018 in Oxford. Linearity has…
cs.LO2019
On Nominal Syntax and Permutation Fixed Points
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
We propose a new axiomatisation of the alpha-equivalence relation for nominal terms, based on a primitive notion of fixed-point constraint. We show that the standard freshness rela…