The Grothendieck Computability Model. - Luis Gambarte; Iosif Petrakis (ICTCS, 2024)