A limiting first order realizability interpretation (0)

by M Nakata, S Hayashi
Venue:SCMJ Online