Algebraic types in PER models

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/bfb0040266 ◽

2006 ◽

pp. 333-350 ◽

Cited By ~ 6

Author(s):

J. M. E. Hyland ◽

E. P. Robinson ◽

G. Rosolini