Reachability Types‚ Traces and Full Abstraction
Benedict Bunting and Andrzej S. Murawski
Book Title
40th Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2025‚ Singapore‚ June 23−26‚ 2025
Pages
1–13
Publisher
IEEE
Year
2025
Benedict Bunting and Andrzej S. Murawski