Courses
-
SI1001 Teoría de la Computación,
2025-1,
curso pregrado
-
ST0244 Lenguajes de Programación,
2024-2,
2024-1,
curso pregrado
-
CM0081 Formal Languages and Automata,
2024-1,
undergraduate course
-
ST0270 Lenguajes Formales y Compiladores,
2024-1,
curso pregrado
-
CM0246 Estructuras Discretas,
2023-2,
curso pregrado
-
Category Theory and Functional Programming Languages,
2022-2,
postgraduate course
-
CM0889 Analysis of Algorithms,
2020-2,
postgraduate course
-
Lambda Calculus,
2020-1,
undergraduate course
-
ST0898 Levelling Course in Computation,
2019(June),
postgraduate course
-
Ordinals and Typed Lambda Calculus,
2018-2,
undergraduate course
-
CM0884 Graph
Theory, 2018-1,
postgraduate course
-
CM0832 Elements of Set Theory,
2017-2,
postgraduate course
-
CM0859 Type Theory,
2017-1,
postgraduate course
-
Foundations of Functional Programming Languages,
2016-2,
postgraduate course
-
CM0845 Logic,
2016-1,
postgraduate course
-
CM0260 Lógica,
2015-2,
curso pregrado
-
CB0246 Discrete Structures,
2014-2,
undergraduate course
-
Verification of Functional Programs,
2014-1,
postgraduate course
-
Dependently Typed Functional Languages,
2011-1,
postgraduate course
-
Lambda Calculus, 2010-2,
slides,
undergraduate course
-
Lambda Calculus and Combinatory Logic, 2009-2,
slides,
undergraduate course
-
Computación Cuántica, X Encuentro ERM, Julio 2004,
diapositivas
-
HL0649 Lógica Paraconsistente, 2003-2,
diapositivas,
curso posgrado
-
CB120 Fundamentos de Computación Cuántica,
2003-1,
curso pregrado