Some free constructions in realizability and proof theory (1995)

by A Carboni
Venue:J. Pure Appl. Algebra