Publisher
Springer International Publishing
Reference40 articles.
1. Abadi, M., Plotkin, G.D.: A simple differentiable programming language. Proc. ACM Program. Lang. 4(POPL), 38:1–38:28 (2020). https://doi.org/10.1145/3371106
2. Aczel, P.H.: Galois: a theory development project (1993)
3. Bailey, A.: Representing algebra in LEGO. Thesis, University of Edinburgh (1993)
4. Barthe, G.: Formalising mathematics in UTT: fundamentals and case studies. Report (1995)
5. Barthe, G., Capretta, V., Pons, O.: Setoids in type theory. J. Funct. Program. 13(2), 261–293 (2000). https://doi.org/10.1017/S0956796802004501