Supermartingales, ranking functions and probabilistic lambda calculus
Váldodahkkit: | , |
---|---|
Materiálatiipa: | Conference item |
Giella: | English |
Almmustuhtton: |
IEEE
2021
|
_version_ | 1826260499597099008 |
---|---|
author | Ong, C-H Keynon-Roberts, A |
author_facet | Ong, C-H Keynon-Roberts, A |
author_sort | Ong, C-H |
collection | OXFORD |
description | |
first_indexed | 2024-03-06T19:06:37Z |
format | Conference item |
id | oxford-uuid:155ddbf5-ef5c-461a-98cd-a300e2fd7e36 |
institution | University of Oxford |
language | English |
last_indexed | 2024-03-06T19:06:37Z |
publishDate | 2021 |
publisher | IEEE |
record_format | dspace |
spelling | oxford-uuid:155ddbf5-ef5c-461a-98cd-a300e2fd7e362022-03-26T10:25:02ZSupermartingales, ranking functions and probabilistic lambda calculusConference itemhttp://purl.org/coar/resource_type/c_5794uuid:155ddbf5-ef5c-461a-98cd-a300e2fd7e36EnglishSymplectic ElementsIEEE2021Ong, C-HKeynon-Roberts, A |
spellingShingle | Ong, C-H Keynon-Roberts, A Supermartingales, ranking functions and probabilistic lambda calculus |
title | Supermartingales, ranking functions and probabilistic lambda calculus |
title_full | Supermartingales, ranking functions and probabilistic lambda calculus |
title_fullStr | Supermartingales, ranking functions and probabilistic lambda calculus |
title_full_unstemmed | Supermartingales, ranking functions and probabilistic lambda calculus |
title_short | Supermartingales, ranking functions and probabilistic lambda calculus |
title_sort | supermartingales ranking functions and probabilistic lambda calculus |
work_keys_str_mv | AT ongch supermartingalesrankingfunctionsandprobabilisticlambdacalculus AT keynonrobertsa supermartingalesrankingfunctionsandprobabilisticlambdacalculus |