Publisher
Springer Nature Switzerland
Reference41 articles.
1. Boolos, G.S.: Saving Frege from contradiction. In: Logic, Logic, and Logic, pp. 171–182. Harvard University Press (1998)
2. Bordg, A., Doña Mateo, A.: Encoding dependently-typed constructions into simple type theory. In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2023, pp. 78–89. Association for Computing Machinery (2023). https://doi.org/10.1145/3573105.3575679
3. Bordg, A., Paulson, L., Li, W.: Simple type theory is not too simple: Grothendieck’s schemes without dependent types. Exp. Math. 31(2), 364–382 (2022). https://doi.org/10.1080/10586458.2022.2062073
4. de Bruijn, N.G.: AUTOMATH, a language for mathematics. Tech. Rep. 68-WSK-05, Technical University Eindhoven (Nov 1968)
5. de Bruijn, N.G.: The mathematical language AUTOMATH, its usage, and some of its extensions. In: Laudet, M. (ed.) Proceedings of the Symposium on Automatic Demonstration, pp. 29–61. Springer LNM 125, Versailles, France (Dec 1968)