nLab Aarne Ranta


Selected writings

On dependent type theory and natural language (parsing and sugaring):

  • Aarne Ranta, Type theory and the informal language of mathematics, TYPES ‘93: Proceedings of the international workshop on Types for proofs and programs, pp. 352–365, (pdf)

  • Aarne Ranta, §1.6, §1.7, §9 in: Type-theoretical grammar, Oxford University Press (1994) [ISBN:9780198538578]

category: people

Last revised on October 14, 2023 at 08:54:31. See the history of this page for a list of all contributions to it.