Gun Pinyo

Orcid: 0000-0002-8483-5261

According to our database¹, Gun Pinyo authored at least 2 papers between 2019 and 2023.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2023

Twisted Cubes and their Applications in Type Theory.

[DOI]

CoRR, 2023

2019

From Cubes to Twisted Cubes via Graph Morphisms in Type Theory.

[DOI]

Proceedings of the 25th International Conference on Types for Proofs and Programs, 2019