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]
Last revised on October 14, 2023 at 08:54:31. See the history of this page for a list of all contributions to it.