Towards a homotopy domain theory.
Autor: | Martínez-Rivillas, Daniel O.1 (AUTHOR) domr@cin.ufpe.br, de Queiroz, Ruy J. G. B.1 (AUTHOR) |
---|---|
Zdroj: | Archive for Mathematical Logic. May2023, Vol. 62 Issue 3/4, p559-579. 21p. |
Databáze: | Academic Search Ultimate |
Externí odkaz: | |
Nepřihlášeným uživatelům se plný text nezobrazuje | K zobrazení výsledku je třeba se přihlásit. |