Lógica combinatoria y categorías cerradas.

Programa del Seminario:

• Introducción al cálculo Lambda - beta reducción- beta igualdad-
• Lógica combinatoria - weak reduction- abstraction -
• Teorías formales de lambda beta y CL_w
• Correspondencia entre las dos teorías
• Extensionalidad en las dos teorías
• Tipado estilo Curry Church.
• Sistema TA\rightarrow
• Modelos de la Lógica combinatoria.
• Categorías Cerradas
• Functores Cerrados
• Transformaciones naturales cerradas
• Categorías sobre categorías cerradas.

Bibliografía:

• Roger Hindley J. and Seldin J.P. Introduction to Combinators and λ-Calculus.
  Cambridge University Press, Cambridge,UK, 1986.
• Eilenberg S., Kelly G. M., Closed Categories, Proc. of the Conference on Categorical
  Algebra, La Jolla, 1965 (Springer Verlag, 1966).