‪Gun Pinyo‬ - ‪Google Scholar‬

Mijn eigen profiel maken

Geciteerd door

	Alles	Sinds 2019
Citaties	14	11
h-index	3	2
i10-index	0	0

0

6

3

20172018201920202021202220232 1 1 6 1 3

Medeauteurs

Thorsten AltenkirchProfessor of Computer Science, University of NottinghamGeverifieerd e-mailadres voor cs.nott.ac.uk
Nicolai KrausUniversity of NottinghamGeverifieerd e-mailadres voor nottingham.ac.uk

Gun Pinyo

Gun Pinyo

University of Nottingham

Geverifieerd e-mailadres voor nottingham.ac.uk


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
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

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–3