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