Strong computable type

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

Authors

Djamel Eddine Amir

This author has not been identified. Look up 'Djamel Eddine Amir' in Google

Mathieu Hoyrup

This author has not been identified. Look up 'Mathieu Hoyrup' in Google