A Formalized General Theory of Syntax with Bindings.

Lorenzo Gheri, Andrei Popescu

Browse the full ITP paper archive.