Pages that link to "Item:Q5415629"

The following pages link to The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories – an Intuitionistic Perspective (Q5415629):

Displaying 1 item.

• Proof-relevance of families of setoids and identity in type theory (Q661282) (← links)