Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Hinze, Ralf
and
Swierstra, Wouter
2022.
Mathematics of Program Construction.
Vol. 13544,
Issue. ,
p.
62.
Published online by Cambridge University Press: 07 April 2020
Discussions
No Discussions have been published for this article.