Autosubst: Reasoning with de Bruijn Terms and Parallel Substitutions.

Steven Schfer, Tobias Tebbi, Gert Smolka

Browse the full ITP paper archive.