Perry Hart

According to our database1, Perry Hart authored at least 2 papers between 2025 and 2026.

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

2026
On Left Adjoints Preserving Colimits in HoTT.
Proceedings of the 34th EACSL Annual Conference on Computer Science Logic, 2026

2025
Coslice Colimits in Homotopy Type Theory.
Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025


  Loading...