On synthetic algebraic geometry:

- Ingo Blechschmidt,
*Using the internal language of toposes in algebraic geometry*, PhD thesis (2017) [pdf, pdf]

On constructive algebra:

- Ingo Blechschmidt,
*Generalized spaces for constructive algebra*, (arXiv:2012.13850)

Introduction to the Agda proof assistant:

- Ingo Blechschmidt,
*Agda – a beautiful proof assistant*, course at*Teoria dei Tipi*, Padova (Apr 2023) [webpage]

An online Agda interface:

category: people

Last revised on November 8, 2023 at 09:26:37. See the history of this page for a list of all contributions to it.