On sequential functionals of type 3 (0)

by D Normann
Venue:Mathematical Structures for Computer Science