Nominal techniques as an Agda library

Murdoch J. Gabbay, Orestis Melkonian

Nominal techniques provide a mathematically principled approach to dealing with names and variable binding in programming languages. This paper explores an attempt to make nominal…