Categorical semantics for functional reactive programming with temporal recursion and corecursionJeltsch, WolfgangProceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 20142014 / p. 127-142 : ill https://doi.org/10.4204/EPTCS.153.9 Conference proceedings at Scopus Article at Scopus