37 citations · 96 across the 20 of their papers we have counts for
15 papers · 1 filter
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…
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…
Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework
Maribel Fernández, Hélène Kirchner, Bruno Pinaud
We present strategic portgraph rewriting as a basis for the implementation of visual modelling and analysis tools. The goal is to facilitate the specification, analysis and simulat…
Elementary Deduction Problem for Locally Stable Theories with Normal Forms
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
We present an algorithm to decide the intruder deduction problem (IDP) for a class of locally stable theories enriched with normal forms. Our result relies on a new and efficient a…