Bounded functional interpretation (2005)

by F Ferreira, P Oliva
Venue:Ann. Pure Appl. Logic