The following pages link to Functorial polymorphism (Q753948):
Displaying 9 items.
- Softness of hypercoherences and MALL full completeness (Q705530) (← links)
- An exactification of the monoid of primitive recursive functions (Q817674) (← links)
- A principled approach to programming with nested types in Haskell (Q848745) (← links)
- A categorical semantics for polarized MALL (Q866570) (← links)
- The Girard-Reynolds isomorphism (second edition) (Q879366) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- Formal parametric polymorphism (Q1314344) (← links)
- POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE (Q4637941) (← links)
- An extension of system F with subtyping (Q5096247) (← links)
