On sequential functionals of type 3 (2006)

by D Normann
Venue:Math. Structures Comput. Sci