Naming and scoping in a mathematical vernacular (0)

by G 1990a Dowek