Pages that link to "Item:Q1314360"
From MaRDI portal
The following pages link to The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus (Q1314360):
Displaying 8 items.
- Formal parametric polymorphism (Q1314344) (← links)
- A game semantics for generic polymorphism (Q1772770) (← links)
- Building continuous webbed models for system F (Q1826624) (← links)
- A full continuous model of polymorphism (Q1853594) (← links)
- Generic type-preserving traversal strategies (Q2841223) (← links)
- Automorphisms of types in certain type theories and representation of finite groups (Q3119463) (← links)
- POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE (Q4637941) (← links)
- From Applicative to Environmental Bisimulation (Q5739359) (← links)
