TY - RPRT TI - The Grothendieck computability model AU - Luis Gambarte AU - Iosif Petrakis PY - 2024 UR - https://arxiv.org/abs/2404.17923 ID - 2404.17923 ER -