Bounded modified realizability (0)

by F Ferreira, A Nunes
Venue:The Journal of Symbolic Logic