Folgen
Gun Pinyo
Gun Pinyo
University of Nottingham
Bestätigte E-Mail-Adresse bei nottingham.ac.uk
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–3