The following pages link to Daniel R. Licata (Q2819683):
Displaying 15 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)
- Eilenberg-MacLane spaces in homotopy type theory (Q4635651) (← links)
- A Cubical Approach to Synthetic Homotopy Theory (Q4635794) (← links)
- A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory (Q4635917) (← links)
- (Q4993352) (← links)
- Call-by-name Gradual Type Theory (Q4993354) (← links)
- Gradual type theory (Q5019016) (← links)
- Syntax and models of Cartesian cubical type theory (Q5022926) (← links)
- Denotational semantics as a foundation for cost recurrence extraction for functional languages (Q5101922) (← links)
- (Q5111322) (← links)
- 2-Dimensional Directed Type Theory (Q5739362) (← links)
