On constructive analysis with real numbers formalized in the Agda proof assistant:
On dependent linear type theory:
Martin Lundfall, Models of linear dependent type theory, 2017 (pdf)
Martin Lundfall, A diagram model of linear dependent type theory, (arXiv:1806.09593)
Last revised on February 10, 2023 at 14:25:29. See the history of this page for a list of all contributions to it.