A Relaxation of Üresin and Dubois’ Asynchronous Fixed-Point Theory in Agda
Crossref DOI link: https://doi.org/10.1007/s10817-019-09536-w
Published Online: 2019-12-10
Published Print: 2020-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Daggitt, Matthew L. http://orcid.org/0000-0002-2552-3671
Zmigrod, Ran
Griffin, Timothy G.
Funding for this research was provided by:
Engineering and Physical Sciences Research Council (1642042)
Text and Data Mining valid from 2019-12-10
Version of Record valid from 2019-12-10
Article History
Received: 22 March 2019
Accepted: 25 October 2019
First Online: 10 December 2019