共 8 条
- [1] Etingof P., 2015, Mathematical Surveys and Monographs
- [5] Fixed Points In Quantitative Semantics [J]. PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 347 - 356
- [6] Weighted relational models of typed lambda-calculi [J]. 2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 301 - 310
- [7] Lane S. M., 1998, Graduate Texts in Mathematics, V5