| Presheaf Models of Polarized Higher-Order Abstract Syntax T Altenkirch, J Neumann Second International Conference on Homotopy Type Theory (HoTT 2023), 2023 | 1 | 2023 |
| The Category Interpretation of (Polarized and Directed) Type Theory T Altenkirch, J Neumann Workshop on Homotopy Type Theory/ Univalent Foundations, 2023 | 1 | 2023 |
| A sampling of synthetic 1-category theory J Neumann Workshop on Homotopy Type Theory/ Univalent Foundations, 2024 | | 2024 |
| The Category Interpretation of Directed Type Theory T Altenkirch, J Neumann | | 2024 |
| Paranatural Category Theory J Neumann arXiv preprint arXiv:2307.09289, 2023 | | 2023 |
| Categorical Logic in Lean J Neumann 29th International Conference on Types for Proofs and Programs (TYPES 2023), 119, 2023 | | 2023 |
| Towards Directed Higher Observational Type Theory J Neumann Workshop on Homotopy Type Theory/ Univalent Foundations, 2022 | | 2022 |
Thorsten AltenkirchProfessor of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
Thorsten AltenkirchProfessor of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk