Towards a homotopy domain theory
Crossref DOI link: https://doi.org/10.1007/s00153-022-00856-0
Published Online: 2022-11-04
Published Print: 2023-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
MartÃnez-Rivillas, Daniel O.
de Queiroz, Ruy J. G. B.
Text and Data Mining valid from 2022-11-04
Version of Record valid from 2022-11-04
Article History
Received: 28 September 2021
Accepted: 26 October 2022
First Online: 4 November 2022