The following pages link to Aad Mathijssen (Q939159):
Displaying 9 items.
- Capture-avoiding substitution as a nominal algebra (Q939160) (← links)
- (Q3086783) (← links)
- One-and-a-halfth-order Logic (Q3520234) (← links)
- Capture-Avoiding Substitution as a Nominal Algebra (Q3525150) (← links)
- A Nominal Axiomatization of the Lambda Calculus (Q3553919) (← links)
- A Formal Calculus for Informal Equality with Binding (Q3612660) (← links)
- (Q3614665) (← links)
- Nominal (Universal) Algebra: Equational Logic with Names and Binding (Q3656778) (← links)
- From μCRL to mCRL2 (Q5262965) (← links)
