The Mathematical Vernacular, a language for mathematics with typed sets (1987)

by N G de Bruijn
Venue:Proceedings of the Workshop on Programming Languages