7 citations · 7 across the 1 of their papers we have counts for
1 paper
Giovanni Birolo
In this dissertation we collect some results about "interactive realizability", a realizability semantics that extends the Brouwer-Heyting-Kolmogorov interpretation to (sub-)classi…