Pages that link to "Item:Q1337495"

The following pages link to Interpreting higher computations as types with totality (Q1337495):

Displaying 2 items.

• Equational theories for inductive types (Q678762) (← links)
• Can partial indexings be totalized? (Q2758051) (← links)