A metric model of (1999)

by M Escardó
Venue:PCF,” in Workshop on Realizability Semantics and Applications