A Generalized Modality for Recursion
2018
LICS2018
https://arxiv.org/abs/1805.11021
modal logic
logic
lambda calculus