Gun Pinyo

According to our database, Gun Pinyo authored at least 1 paper in 2019.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of four.

2019

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

Gun Pinyo, Nicolai Kraus

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