We stand with Ukraine  

Tesla Zhang

According to our database1, Tesla Zhang authored at least 9 papers between 2021 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
Mechanizing a Proof-Relevant Logical Relation for Timed Message-Passing Protocols.
[BibTeX]
[DOI]
Tesla Zhang
,
Asher Kornfeld
,
Rui Li
,
Sonya Simkin
,
Yue Yao
,
Stephanie Balzer
CoRR, November, 2025

A Language-Agnostic Logical Relation for Message-Passing Protocols.
[BibTeX]
[DOI]
Tesla Zhang
,
Sonya Simkin
,
Rui Li
,
Yue Yao
,
Stephanie Balzer
CoRR, June, 2025

2024
(Co)condition hits the Path.
[BibTeX]
[DOI]
Tesla Zhang
,
Valery Isaev
CoRR, 2024

2023
Three non-cubical applications of extension types.
[BibTeX]
[DOI]
Tesla Zhang
CoRR, 2023

Two tricks to trivialize higher-indexed families.
[BibTeX]
[DOI]
Tesla Zhang
CoRR, 2023

2022
A tutorial on implementing De Morgan cubical type theory.
[BibTeX]
[DOI]
Tesla Zhang
CoRR, 2022

2021
Type theories in category theory.
[BibTeX]
[DOI]
Tesla Zhang
CoRR, 2021

Elegant elaboration with function invocation.
[BibTeX]
[DOI]
Tesla Zhang
CoRR, 2021

A simpler encoding of indexed types.
[BibTeX]
[DOI]
Tesla Zhang
CoRR, 2021


  Loading...