79 citations · 142 across the 16 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
Multi-clocked Guarded Recursion Beyond ω
Rasmus Ejlers Møgelberg
Type theories with multi-clocked guarded recursion provide a flexible framework for programming with coinductive types encoding productivity in types. Combining this with solutions…
cs.LO2025
Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
Giorgio Bacci, Rasmus Ejlers Møgelberg
Quantitative logic reasons about the degree to which formulas are satisfied. This paper studies the fundamental reasoning principles of higher-order quantitative logic and their ap…