A formalized general theory of syntax with bindings: extended version
scientific article; zbMATH DE number 7187041
scientific article