Author:
Breuvart Flavien,Dal Lago Ugo,Herrou Agathe
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Studies in Logic and the Foundations of Mathematics;HP Barendregt,1981
2. Lecture Notes in Computer Science;O Bournez,2005
3. Breuvart, F., Dal Lago, U., Herrou, A.: On probabilistic subrecursion (long version) (2016). http://arxiv.org/abs/1701.04786
4. Lecture Notes in Computer Science;R Crubillé,2014
5. Dal Lago, U., Toldin, P.P.: A higher-order characterization of probabilistic polynomial time. Inf. Comput. 241, 114–141 (2015)