Computability and continuity in finite types | lit.salon