Algebraic types in PER models (0)

by J M E Hyland, E P Robinson, G Rosolini
Venue:Proc. Mathematical Foundations of Programming Semantics. Lecture Notes in Computer Science 442