Advanced search
Publication Cover
Experimental Mathematics Volume 31, 2022 - Issue 2
Submit an article Journal homepage
1,726
Views
2
CrossRef citations to date
0
Altmetric
Interactive Theorem Provers

Simple Type Theory is not too Simple: Grothendieck’s Schemes Without Dependent Types

Anthony BordgUniversity of Cambridge, Cambridge, UKCorrespondence[email protected]
ORCID Iconhttps://orcid.org/0000-0003-1694-9467View further author information
ORCID Icon,
Lawrence PaulsonUniversity of Cambridge, Cambridge, UKORCID Iconhttps://orcid.org/0000-0003-0288-4279View further author information
ORCID Icon &
Wenda LiUniversity of Cambridge, Cambridge, UKORCID Iconhttps://orcid.org/0000-0002-9886-9542View further author information
ORCID Icon
Pages 364-382 | Published online: 25 Apr 2022

Citations (2)

Keep up to date with the latest research on this topic with citation updates for this article.

Subscribe to citation updates

Read on this site (1)

Angeliki Koutsoukou-Argyraki, Wenda Li & Lawrence C. Paulson. (2022) Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL. Experimental Mathematics 31:2, pages 401-412.
Read now

Articles from other publishers (1)

Angeliki Koutsoukou-Argyraki, Mantas Bakšys & Chelsea Edmonds. (2023) A Formalisation of the Balog–Szemerédi–Gowers Theorem in Isabelle/HOL. A Formalisation of the Balog–Szemerédi–Gowers Theorem in Isabelle/HOL.

Related research

People also read lists articles that other readers of this article have read.

Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.

Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.