37 citations · 96 across the 20 of their papers we have counts for
21 papers
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…
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…
Attributed Hierarchical Port Graphs and Applications
Nneka Chinelo Ene, Maribel Fernández, Bruno Pinaud
We present attributed hierarchical port graphs (AHP) as an extension of port graphs that aims at facilitating the design of modular port graph models for complex systems. AHP consi…
Nominal C-Unification
Mauricio Ayala-Rincón, Washington de Carvalho-Segundo, Maribel Fernández +1
Nominal unification is an extension of first-order unification that takes into account the α-equivalence relation generated by binding operators, following the nominal approach. We…
From nominal to higher-order rewriting and back again
Jesús Domínguez, Maribel Fernández
We present a translation function from nominal rewriting systems (NRSs) to combinatory reduction systems (CRSs), transforming closed nominal rules and ground nominal terms to CRSs…
Static Enforcement of Role-Based Access Control
Asad Ali, Maribel Fernández
We propose a new static approach to Role-Based Access Control (RBAC) policy enforcement. The static approach we advocate includes a new design methodology, for applications involvi…