Tesla Zhang

According to our database¹, Tesla Zhang authored at least 8 papers between 2021 and 2025.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

A Language-Agnostic Logical Relation for Message-Passing Protocols.

[BibT_eX]

[DOI]

CoRR, June, 2025

2024

(Co)condition hits the Path.

[BibT_eX]

[DOI]

Tesla Zhang

Valery Isaev

CoRR, 2024

2023

Three non-cubical applications of extension types.

[BibT_eX]

[DOI]

Tesla Zhang

CoRR, 2023

Two tricks to trivialize higher-indexed families.

[BibT_eX]

[DOI]

Tesla Zhang

CoRR, 2023

2022

A tutorial on implementing De Morgan cubical type theory.

[BibT_eX]

[DOI]

Tesla Zhang

CoRR, 2022

2021

Type theories in category theory.

[BibT_eX]

[DOI]

Tesla Zhang

CoRR, 2021

Elegant elaboration with function invocation.

[BibT_eX]

[DOI]

Tesla Zhang

CoRR, 2021

A simpler encoding of indexed types.

[BibT_eX]

[DOI]

Tesla Zhang

CoRR, 2021

Tesla Zhang

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...