Conference item
Supermartingales, ranking functions and probabilistic lambda calculus
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Preview, Accepted manuscript, 603.9KB, Terms of use)
-
- Publisher copy:
- 10.1109/LICS52264.2021.9470550
Authors
- Publisher:
- IEEE
- Host title:
- Proceedings of the 36th Annual Symposium on Logic in Computer Science
- Journal:
- Proceedings of the Annual Symposium on Logic in Computer Science More from this journal
- Publication date:
- 2021-07-07
- Acceptance date:
- 2021-04-01
- Event title:
- 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021)
- Event location:
- Online
- Event website:
- http://easyconferences.eu/lics2021/
- Event start date:
- 2021-06-29
- Event end date:
- 2021-07-02
- DOI:
- EISBN:
- 978-1-6654-4895-6
- ISBN:
- 978-1-6654-4896-3
- Language:
-
English
- Keywords:
- Pubs id:
-
1170666
- Local pid:
-
pubs:1170666
- Deposit date:
-
2021-04-06
Terms of use
- Copyright holder:
- IEEE
- Copyright date:
- 2021
- Rights statement:
- © IEEE 2021.
- Notes:
- This paper was presented at the 36th Annual Symposium on Logic in Computer Science (LICS 2021), 29th June - 2nd July 2021. This is the accepted manuscript version of the article. The final version is available online from IEEE at: https://doi.org/10.1109/LICS52264.2021.9470550
If you are the owner of this record, you can report an update to it here: Report update to this record