[Todos CMAT] charlas preparatorias para el curso de Realizabilidad

[mauricio en cmat.edu.uy]

Estimados,

            Les recuerdo que las charlas preparatorias para el curso  
de Realizabilidad comienzan el miercoles 10 a las 16 horas en el cmat.

            La primera sera sobre calculo lambda, beta reduccion y confluencia.

            Un saludo cordial,

                           MAURICIO.

----------------------------------------------------------------
Centro de Matematica - www.cmat.edu.uy
Facultad de Ciencias - www.fcien.edu.uy
Universidad de la Republica - www.universidad.edu.uy

<<This message was sent using IMP, the Internet Messaging Program>>