‪Gun Pinyo‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	14	11
h-index	3	2
i10-index	0	0

0

6

3

20172018201920202021202220232 1 1 6 1 3

Co-authors

Thorsten AltenkirchProfessor of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
Nicolai KrausUniversity of NottinghamVerified email at nottingham.ac.uk

Gun Pinyo

Gun Pinyo

University of Nottingham

Verified email at nottingham.ac.uk


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
From Cubes to Twisted Cubes via Graph Morphisms in Type Theory G Pinyo, N Kraus 25th International Conference on Types for Proofs and Programs (TYPES 2019 …, 2020	6	2020
Monadic containers and universes T Altenkirch, G Pinyo Abstracts of 23rd International Conference on Types for Proofs and Programs …, 2017	5	2017
Integers as a higher inductive type G Pinyo, T Altenkirch 24th International Conference on Types for Proofs and Programs, 2018	3	2018

The system can't perform the operation now. Try again later.

Articles 1–3