We introduce Nominal Matching Logic (NML) as an extension of Matching Lo...
We define EVL, a minimal higher-order functional language to deal with
g...
This volume contains a selection of papers presented at Linearity/TLLA 2...
We propose a new axiomatisation of the alpha-equivalence relation for no...
This volume contains a selection of the papers presented at TERMGRAPH 20...
We present attributed hierarchical port graphs (AHP) as an extension of ...
Nominal unification is an extension of first-order unification that take...