Actualidad
IMDEA Software
Talk by Joakim Öhman: Decidability of Conversion for Type Theory in Type Theory
28 Nov 2017
Leer más trending_flat
IMDEA Software
Former PhD student Goran Doychev receives prize for this thesis
28 Nov 2017
Leer más trending_flat
IMDEA Software
Decidability of Conversion for Type Theory in Type Theory
28 Nov 2017
Leer más trending_flat

