共 50 条
- [3] Metric Reasoning About λ-Terms: The Affine Case [J]. 2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2015, : 633 - 644
- [4] Metric Reasoning About λ-Terms: The General Case [J]. PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2017): 26TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2017, 10201 : 341 - 367
- [5] Probabilistic Reasoning About Simply Typed Lambda Terms [J]. LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2018), 2018, 10703 : 170 - 189
- [6] Reasoning With Conditionals About Everyday and Mathematical Concepts in Primary School [J]. FRONTIERS IN PSYCHOLOGY, 2020, 11
- [9] Reasoning about Safety and Progress Using Contracts [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, 2010, 6447 : 436 - 451