Fixpoint games on continuous lattices
Baldan, Paolo, König, Barbara, Mika-Michalski, Christina, Padoan, TommasoVolume:
3
Journal:
Proceedings of the ACM on Programming Languages
DOI:
10.1145/3290339
Date:
January, 2019
File:
PDF, 497 KB
2019