8 citations · 19 across the 11 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 8 cited
Relational Graph Models at Work
Flavien Breuvart, Giulio Manzonetto, Domenico Ruoppolo
We study the relational graph models that constitute a natural subclass of relational models of lambda-calculus. We prove that among the lambda-theories induced by such models ther…
cs.LO2017★ 1 cited
On Higher-Order Probabilistic Subrecursion
Flavien Breuvart, Ugo Dal Lago, Agathe Herrou
We study the expressive power of subrecursive probabilistic higher-order calculi. More specifically, we show that endowing a very expressive deterministic calculus like Gödel's $\m…