The following pages link to (Q3138539):
Displaying 5 items.
- A note on ``Extensional PERs'' (Q615886) (← links)
- Parametricity as isomorphism (Q1349670) (← links)
- Linear Läuchli semantics (Q1919529) (← links)
- Composing dinatural transformations: towards a calculus of substitution (Q2031559) (← links)
- On Compositionality of Dinatural Transformations (Q5079758) (← links)
