Gun Pinyo

Orcid: 0000-0002-8483-5261

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Twisted Cubes and their Applications in Type Theory.
CoRR, 2023

2019
From Cubes to Twisted Cubes via Graph Morphisms in Type Theory.
Proceedings of the 25th International Conference on Types for Proofs and Programs, 2019


  Loading...