The following pages link to Daniel R. Licata (Q2819683):
Displaying 9 items.
- Homotopical patch theory (Q2819684) (← links)
- A universe of binding and computation (Q2936809) (← links)
- π n (S n ) in Homotopy Type Theory (Q2938036) (← links)
- Canonicity for 2-dimensional type theory (Q2942884) (← links)
- Denotational cost semantics for functional languages with inductive types (Q2981951) (← links)
- (Q4993352) (← links)
- Call-by-name Gradual Type Theory (Q4993354) (← links)
- (Q5111322) (← links)
- 2-Dimensional Directed Type Theory (Q5739362) (← links)
