Pages that link to "Item:Q4286531"

The following pages link to Categorical data types in parametric polymorphism (Q4286531):

Displaying 8 items.

• Strong categorical datatypes II: A term logic for categorical programming (Q673963) (← links)
• The Girard-Reynolds isomorphism (second edition) (Q879366) (← links)
• The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus (Q1314360) (← links)
• A domain-theoretic semantics of lax generic functions. (Q1398469) (← links)
• The Girard-Reynolds isomorphism (Q1887154) (← links)
• Parametricity for primitive nested types (Q2233419) (← links)
• The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type (Q5111301) (← links)
• Bifibrational functorial semantics of parametric polymorphism (Q5971398) (← links)