3 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.LO2022★ 3 cited
Nominal Matching Logic
James Cheney, Maribel Fernández
We introduce Nominal Matching Logic (NML) as an extension of Matching Logic with names and binding following the Gabbay-Pitts nominal approach. Matching logic is the foundation of…
cs.LO2021
EVL: a typed functional language for event processing
Sandra Alves, Maribel Fernández, Miguel Ramos
We define EVL, a minimal higher-order functional language to deal with generic events. The notion of generic event extends the well-known notion of event traditionally used in a va…
cs.LO2019★ 1 cited
Proceedings Tenth International Workshop on Computing with Terms and Graphs
Maribel Fernández, Ian Mackie
This volume contains a selection of the papers presented at TERMGRAPH 2018, the tenth edition of the international workshop on computing with terms and graphs. Graphs, and graph tr…