JC
Jonathan Chan
cs.PLcs.LO
On Valency
published · living versionsW_zm8usghj·v1 · currentpublished
Preprints & journals
5 papers in the corpus · 2019–2026Natural Deduction Derivations as Directed Acyclic Proof Graphs2610.27196v1 · Jonathan Chan, Aaron Stump2026 · 0 citationsarXivon Valency
Internalizing Extensions in Lattices of Type Theories2510.26839v1 · Jonathan Chan2025 · 0 citationsarXiv
Bounded First-Class Universe Levels in Dependent Type Theory2502.20485v1 · Jonathan Chan, Stephanie Weirich2025 · 2 citationsarXiv
Stratified Type Theory2309.12164v3 · Jonathan Chan, Stephanie Weirich2023 · 1 citationarXiv
Is Sized Typing for Coq Practical?1912.05601v4 · Jonathan Chan, Yufeng Li, William J. Bowman2019 · 3 citationsarXiv
Career total: 15 works. 5 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.