To give a talk at TYPES 2025
Title: Rational Codata as Syntax-with-Binding: Correct-by-Construction Foundations of the Modal µ-Calculus
Sean Watters
Title: Rational Codata as Syntax-with-Binding: Correct-by-Construction Foundations of the Modal µ-Calculus
Title: The Madness of the Modal mu-Calculus
Title: Extensional Finite Sets and Multisets in Type Theory
Title: A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists
APLAS 2023 Best Paper Award
Title: (Reflexive) Partial Monoids 101
Search