Kevin Buzzard, Johan Commelin, Patrick Massot: Formalising perfectoid spaces. In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs. ACM, New Orleans LA USA 2020, ISBN 978-1-4503-7097-4, S.299–312, doi:10.1145/3372885.3373830 (acm.org [abgerufen am 29. August 2020]).
Kevin Buzzard, Johan Commelin, Patrick Massot: Formalising perfectoid spaces. In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs. ACM, New Orleans LA USA 2020, ISBN 978-1-4503-7097-4, S.299–312, doi:10.1145/3372885.3373830 (acm.org [abgerufen am 29. August 2020]).