First-order abstract syntax

Redirect to:

  • Abstract syntax