Nivel 2

Tipos simples (λ→)

El cálculo lambda simplemente tipado: juicios, reglas de tipado, Church y Curry, decidibilidad.

Adaptado de: Capítulo: Teoría de tipos y cálculo lambda.

Contenido

  1. Juicios y contextos
  2. Las tres reglas de λ→
  3. Tipado à la Church y à la Curry
  4. Cuatro problemas decidibles