Strong computable type

Djamel Eddine Amir, Mathieu Hoyrup. Strong computable type. Computability, 12(3):227-269, 2023. [doi]