Minimal realizability (1995)

by Z Damnjanovic
Venue:J. Symbolic Logic