Pages that link to "Item:Q3535679"

The following pages link to Structural subtyping for inductive types with functorial equality rules (Q3535679):

Displaying 1 item.

• Manifest Fields and Module Mechanisms in Intensional Type Theory (Q3638256) (← links)