Variable binding and substitution for (nameless) dummies.

Andr Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi

Browse the full FOSSACS paper archive.