On Higher-Order Probabilistic Subrecursion
-
Published:2021-12-23
Issue:
Volume:Volume 17, Issue 4
Page:
-
ISSN:1860-5974
-
Container-title:Logical Methods in Computer Science
-
language:en
-
Short-container-title:
Author:
Breuvart Flavien,Lago Ugo Dal,Herrou Agathe
Abstract
We study the expressive power of subrecursive probabilistic higher-order
calculi. More specifically, we show that endowing a very expressive
deterministic calculus like G\"odel's $\mathbb{T}$ with various forms of
probabilistic choice operators may result in calculi which are not equivalent
as for the class of distributions they give rise to, although they all
guarantee almost-sure termination. Along the way, we introduce a probabilistic
variation of the classic reducibility technique, and we prove that the simplest
form of probabilistic choice leaves the expressive power of $\mathbb{T}$
essentially unaltered. The paper ends with some observations about the
functional expressive power: expectedly, all the considered calculi capture the
functions which $\mathbb{T}$ itself represents, at least when standard notions
of observations are considered.
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. On the Almost-Sure Termination of Binary Sessions;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09