research
∙
07/28/2022
Nominal Matching Logic
We introduce Nominal Matching Logic (NML) as an extension of Matching Lo...
share
research
∙
09/18/2021
EVL: a typed functional language for event processing
We define EVL, a minimal higher-order functional language to deal with g...
research
∙
04/12/2019
Proceedings Joint International Workshop on Linearity Trends in Linear Logic and Applications
This volume contains a selection of papers presented at Linearity/TLLA 2...
research
∙
02/22/2019
On Nominal Syntax and Permutation Fixed Points
We propose a new axiomatisation of the alpha-equivalence relation for no...
research
∙
02/05/2019
Proceedings Tenth International Workshop on Computing with Terms and Graphs
This volume contains a selection of the papers presented at TERMGRAPH 20...
research
∙
02/19/2018
Attributed Hierarchical Port Graphs and Applications
We present attributed hierarchical port graphs (AHP) as an extension of ...
research
∙
09/15/2017