Información general de la asignatura

Curso académico: 2023/2024

Curso de impartición: 4º Curso

Período de impartición: 1er Semestre

Tipo de asignatura: Optativa

Lengua(s) de impartición: Español

Modalidad de enseñanza: Presencial

Créditos (ECTS): 6


Guía docente

Contenidos de la asignatura (descriptores)

  • Lambda-calculus
  • lógica combinatoria
  • teoría de tipos
  • programación funcional ||
Si detectas algún error o sugieres alguna mejora para el contenido de esta página, por favor utiliza nuestro formulario de comentarios y sugerencias.
  • Comentarios y sugerencias

    Utilice este formulario para comunicar fallos, errores o sugerencias en la web de UGRCat