2021
A Probabilistic Higher-order Fixpoint Logic.
[DOI]
Yo Mitani
,
Naoki Kobayashi
,
Takeshi Tsukada
Log. Methods Comput. Sci., 2021