Semicomputable Geometry. - Mathieu Hoyrup; Diego Nava Saucedo; Don M. Stull (ICALP, 2018)