Composition Under Distributive Natural Transformations: Or, When Predicate Abstraction is Impossible
Crossref DOI link: https://doi.org/10.1007/s10849-022-09361-2
Published Online: 2022-04-21
Published Print: 2022-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bumford, Dylan http://orcid.org/0000-0003-1454-7798
Text and Data Mining valid from 2022-04-21
Version of Record valid from 2022-04-21
Article History
Accepted: 25 February 2022
First Online: 21 April 2022