Pages that link to "Item:Q5028486"

The following pages link to Canonicity and homotopy canonicity for cubical type theory (Q5028486):

Displaying 1 item.

• The compatibility of the minimalist foundation with homotopy type theory (Q6122600) (← links)