We hope that the nascent blog will serve as a forum for discussion and the dissemination of ideas throughout the name binding community. Subjects considered on topic include, but are not limited to, nominal techniques, higher-order abstract syntax and its variants, locally nameless approaches, de Bruijn indices and related techniques. Applications of these techniques, broadly construed, will also be considered on topic, including libraries, programming languages, theorem provers, logics, calculi etc.
At the moment, we are still in the process of finalizing the installation and configuration of the blog. Please wait while we ready the site to “go live”!