research
∙
03/15/2021
Classical (Co)Recursion: Mechanics
Primitive recursion is a mature, well-understood topic in the theory and...
research
∙
03/11/2021
Classical (Co)Recursion: Programming
Our aim here is to illustrate how the benefits of structural corecursion...
research
∙
07/30/2019