The Name Binding Blog is a blog dedicated to discussion of different techniques for handling name binding in formal calculi, including, but not limited to, nominal (FM based) techniques, higher-order abstract syntax and its variants, pronominal techniques, locally nameless approaches, de Bruijn indices and more.



%d bloggers like this: