arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Jason Z. S. Hu"" — arXiv2 Search
Showing 1–7 of 7 results
/ Date
/ Name
May 11, 2023
Layered Modal Type Theories
Jun 6, 2022
A Category Theoretic View of Contextual Types: from Simple Types to Dependent Types
Apr 25, 2024
DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
Nov 22, 2022
A Categorical Normalization Proof for the Modal Lambda-Calculus
Jun 15, 2022
An Investigation of Kripke-style Modal Type Theories
May 14, 2020
Formalizing of Category Theory in Agda
Mar 2, 2021
Internal Category with Families in Presheaves