Djamel Eddine Amir

Comparing computability in two topologies

M. Hoyrup, Djamel Eddine Amir, 2022 .

Strong computable type

M. Hoyrup, Djamel Eddine Amir, 2022, 2210.08309.

The surjection property and computable type

M. Hoyrup, Djamel Eddine Amir, 2023, 2306.14542.

Strong computable type

M. Hoyrup, Djamel Eddine Amir, 2022, Comput..

Descriptive complexity of topological invariants

Djamel Eddine Amir, Mathieu Hoyrup, 2023 .