Maribel Fernández

发表

G¨odel’s System T Revisited

I. Mackie, Sandra Alves, Maribel Fernández, 2009 .

Gödel's system tau revisited

Ian Mackie, Maribel Fernández, Sandra Alves, 2010, Theor. Comput. Sci..

A polynomial nominal unification algorithm

Christophe Calvès, Maribel Fernández, Maribel Fernández, 2008, Theor. Comput. Sci..

Linear Recursive Functions

Ian Mackie, Maribel Fernández, Sandra Alves, 2007, Rewriting, Computation and Proof.

Nominal rewriting with name generation: abstraction vs. locality

Maribel Fernández, Murdoch James Gabbay, M. Gabbay, 2005, PPDP.

Interaction Nets vs. the rho-calculus: Introducing Bigraphical Nets

Ian Mackie, Maribel Fernández, François-Régis Sinot, 2006, EXPRESS.

A rewriting framework for the composition of access control policies

Clara Bertolissi, Maribel Fernández, Maribel Fernández, 2008, PPDP.

The Lambda Calculus

Maribel Fernández, 2009 .

Distributed event-based access control

Clara Bertolissi, Maribel Fernández, Maribel Fernández, 2009, Int. J. Inf. Comput. Secur..

Intersection type assignment systems with higher-order algebraic rewriting

Maribel Fernández, F. Barbanera, 1996 .

A metamodel of access control for distributed environments: Applications and properties

Clara Bertolissi, Maribel Fernández, Maribel Fernández, 2014, Inf. Comput..

Pre-proceedings 9 th International Workshop on Reduction Strategies in Rewriting and Programming

H. Kirchner, Maribel Fernández, S. Antoy, 2009 .

Approximation and Normalization Results for Typeable Combinator Systems

Maribel Fernández, S. V. Bakel, M. Fernández, 1995 .

Normalization , Approximation , and Semantics for Combinator Systems ? Extended Abstract

Maribel Fernández, S. V. Bakel, M. Fernández, 2003 .

Undecidability of Nominal Unification with Atom Substitutions

Maribel Fernández, Jesús Domínguez, 2017 .

Dependent Types for a Nominal Logical Framework

Maribel Fernández, Elliot Fairweather, Nora Szasz, 2012 .

Nominal Dependent Types as a Logical Framework

Maribel Fernández, Elliot Fairweather, Nora Szasz, 2011 .

Principles of Alpha-Induction and Recursion for the Lambda Calculus in Constructive Type Theory

Maribel Fernández, Nora Szasz, Álvaro Tasistro, 2015 .

Multi-paradigm Logic Programming Integrating Paradigms via Interaction Nets (extended Abstract)

I. Mackie, Maribel Fernández, 2007 .

Approximation and Filter Semantics for Combinator Systems ? Extended Abstract

Maribel Fernández, S. V. Bakel, M. Fernández, 2007 .

The 2007 Federated Conference on Rewriting, Deduction and Programming Workshop on Security and Rewriting Techniques Program Commitee Diffie-hellman Cryptographic Reasoning in the Maude-nrl Protocol Analyzer 29 Rewriting and Reachability for Software Security Action-status Access Control as Term Rewr

Maribel Fernández, M. Fernández, 2007 .

Static Enforcement of Role-Based Access Control on Method Invocation

Maribel Fernández, Asad Ali, 2014 .

Normalization Results for Typeable Rewrite Systems ( Information and Computation

Maribel Fernández, S. V. Bakel, M. Fernández, 2016 .

Normalisation and Approximation results for typeable Term Rewriting Systems ( with abstraction and β-rule ) Summary

Maribel Fernández, F. Barbanera, S. V. Bakel, 2010 .

FORMALISATIONS OF NOMINAL C-MATCHING THROUGH UNIFICATION WITH PROTECTED VARIABLES Formalising Nominal C-Matching Through Unification With Protected Variables

Gabriel Ferreira Silva, Maribel Fernández, M. Ayala-Rincón, 2020 .

ATheor yo fOperationa lEquivalenc efor Interaction Nets

I. Mackie, Maribel Fernández, 2000 .

A Graph Transformation Approach to the Modelling of Capital Markets

Maribel Fernández, Bruno Pinaud, N. Ene, 2019 .