| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Amortized Analysis via Coinduction (Early Ideas) | Grodin, Harrison et al. | 2023 |
| 2 | Integrating Cost and Behavior in Type Theory (Invited Talk) | Harper, Robert | 2023 |
| 3 | Sheaf Semantics of Termination-Insensitive Noninterference | Sterling, Jonathan et al. | 2022 |
| 4 | Internal Parametricity for Cubical Type Theory | Cavallo, Evan et al. | 2020 |
| 5 | Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities | Angiuli, Carlo et al. | 2018 |
| 6 | Covering Spaces in Homotopy Type Theory | Hou (Favonia), Kuen-Bang et al. | 2018 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 6 |