The extended predicative Mahlo universe in Martin-Löf type theory
Date first appeared online 12/05/2023
DOI 10.1093/logcom/exad022
Authors Setzer A.
Journal Name Journal of Logic and Computation
Volume 34

Documents
  • 63064.pdf , Book, Distributed under the terms of a Creative Commons Attribution 4.0 License (CC BY 4.0).