Pages that link to "Item:Q2288279"

The following pages link to The justification of identity elimination in Martin-Löf's type theory (Q2288279):

Displaying 2 items.

• Dialogues, Reasons and Endorsement (Q3305643) (← links)
• Homotopy theoretic models of identity types (Q3598111) (← links)