1
2

One-and-a-halfth-order Logic

E-Article
3

Nominal (Universal) Algebra: Equational Logic with Names and Binding

E-Article
4

Nominal Algebra and the HSP Theorem

E-Article
5

A Nominal Axiomatization of the Lambda Calculus

E-Article