de Bruijn, N.G. The Mathematical Vernacular, a language for mathematics with typed sets. In P. Dybjer et al., editors, Proceedings of the Workshop on Programming Languages. Marstrand, Sweden, 1987

Languages mentioned

• The Mathematical Vernacular {1980}