Rational Codata as Syntax-with-Binding: Correct-by-Construction Foundations of the Modal µ-Calculus Sean Watters 09 Jun 2025 abstract extended abstract TalkFuture Conference modal mu-calculus rational data structures