Proper Functors and Fixed Points for Finite Behaviour

Stefan Milius. Proper Functors and Fixed Points for Finite Behaviour. Logical Methods in Computer Science, 14(3), 2018. [doi]

Abstract

Abstract is missing.