Segui
Gun Pinyo
Gun Pinyo
University of Nottingham
Email verificata su nottingham.ac.uk
Titolo
Citata da
Citata da
Anno
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
62020
Monadic containers and universes
T Altenkirch, G Pinyo
Abstracts of 23rd International Conference on Types for Proofs and Programs …, 2017
52017
Integers as a higher inductive type
G Pinyo, T Altenkirch
24th International Conference on Types for Proofs and Programs, 2018
32018
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–3