Sorry for the lack of updates. I have just returned from a trip to Italy. Things will get moving again, soon.
Archive for the 'Administration' Category
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
Published October 27, 2009 Administration , General interest , Nominal techniques Leave a CommentI 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.
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!
Published September 21, 2009 Administration 2 CommentsTags: Welcome
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”!