Pages that link to "Item:Q280200"

The following pages link to Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200):

Displaying 2 items.

• Relation lifting, a survey (Q299182) (← links)
• POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE (Q4637941) (← links)