Realisability semantics of parametric polymorphism, general references and recursive types

Keyphrases

• Semantic Types 100%
• Realisability 100%
• Effect Types 33%
• Open-type 33%
• Relational Interpretation 33%
• Indexed Families 33%
• Finite Mappings 33%
• Kripke Logical Relations 33%
• Abstract Data Types 33%

Computer Science

• Reference Modeling 50%
• Abstract Data Type 50%
• Recursive Equation 50%