The Mathematical Vernacular(ID:7827/)

type Automath
Related languages
Church typed-lambda calculus => The Mathematical Vernacular   Incorporated some features of
References:
  • 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 view details