Este curso se desarrolla también para la
Licenciatura
en Ciencias de la Computación de la FCEIA, UNR (Argentina)
Construcción
Formal de Programas en Teoría de Tipos
Bibliografía
Z.
Luo. Computation and Reasoning: A Type Theory for Computer Science,
volume
11 of International Series of Monographs on Computer Science. Oxford
Science
Publications, 1994.
F.
Monin. Comprendre les méthodes Formelles. Masson, 1996.
C.
Paulin-Mohring and B. Werner. Synthesis of ML programs in the system
Coq.
Journal of Symbolic Computation, (15):607-640, 1993.
S.
Thompson. Type Theory and Funtional Programming. Addison-Wesley, 1991.
Cualquier sugerencia
puede ser remitida por Email a los docentes
del curso