Jonathan Chan

Orcid: 0000-0003-0830-3180

Affiliations:

University of Pennsylvania, PA, USA
University of British Columbia, BC, Canada (former)

According to our database¹, Jonathan Chan authored at least 6 papers between 2019 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

Bounded First-Class Universe Levels in Dependent Type Theory.

[BibT_eX]

[DOI]

Jonathan Chan

Stephanie Weirich

CoRR, February, 2025

Consistency of a Dependent Calculus of Indistinguishability.

[BibT_eX]

[DOI]

Yiyun Liu

Jonathan Chan

Stephanie Weirich

Proc. ACM Program. Lang., 2025

Stratified Type Theory.

[BibT_eX]

[DOI]

Jonathan Chan

Stephanie Weirich

Proceedings of the Programming Languages and Systems, 2025

2024

Internalizing Indistinguishability with Dependent Types.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., January, 2024

2023

Is sized typing for Coq practical?

[BibT_eX]

[DOI]

Jonathan Chan

Yufeng Li

William J. Bowman

J. Funct. Program., 2023

2019

Practical Sized Typing for Coq.

[BibT_eX]

[DOI]

Jonathan Chan

William J. Bowman

CoRR, 2019

Jonathan Chan

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...