4 citations · 8 across the 4 of their papers we have counts for
1 paper · 2 filters
Valentin Blot
We describe a realizability framework for classical first-order logic in which realizers live in (a model of) typed λμ-calculus. This allows a direct interpretation of classical pr…