Algebraic Types in PER Models

• Authors:

• J. M. E. Hyland;E. P. Robinson;Giuseppe Rosolini

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the 5th International Conference on Mathematical Foundations of Programming Semantics
• Year:
• 1989