Lack of updates

Sorry for the lack of updates.  I have just returned from a trip to Italy.  Things will get moving again, soon.

Contact details

To contact the site admin with questions or for paper submissions, please e-mail namebinding@gmail.com.  I’ve added a new link to the top of the page, with this information on, too.

Nominal bibliography

I have switched over the Nominal Bibliography from using Zotero to CiteULike.  I believe, with a few exceptions, that the Nominal Group on CiteULike now references every publication that’s connected to “nominal techniques” (whatever they may be!).  The exceptions are some papers of M. J. Gabbay, which will be added shortly.

If you know of any more nominal papers, please let me know!  I will attempt to keep this up-to-date.

Comment moderation turned off

Some comments were held up waiting for my approval.  I’ve now removed this feature, so comments appear immediately.

Welcome to the Name Binding Blog!

Welcome.

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”!