Pages that link to "Item:Q5718672"

The following pages link to Interpreting descriptions in intensional type theory (Q5718672):

Displaying 2 items.

• Free Definite Description Theory – Sequent Calculi and Cut Elimination (Q5006839) (← links)
• A novel approach to equality (Q6142508) (← links)