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.

Advertisements

Posts

February 2018
M T W T F S S
« Oct    
 1234
567891011
12131415161718
19202122232425
262728  
Advertisements

%d bloggers like this: