Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
CALCULO-λ
1
CLASSICAL LOGIC
1
CONSTRUCTIVE LOGIC
1
CURRY-HOWARD
1
DENOTATIONAL SEMANTICS
1
FUNCTIONAL PROGRAMMING
1
KRIPKE SEMANTICS
1
LOGIC
1
LOGIC PROGRAMMING
1
LOGICA
1
LOGICA CLASICA
1
LOGICA CONSTRUCTIVA
1
PROGRAMACION FUNCIONAL
1
PROGRAMACION LOGICA
1
PROGRAMACION RELACIONAL
1
PROPOSICIONES COMO TIPOS
1
PROPOSITION AS TYPES
1
RALATIONAL PROGRAMMING
1
SEMANTICA DE KRIPKE
1
SEMANTICA DENOTACIONAL
1
UNIFICACION
1
UNIFICATION
1
λ-CALCULUS
1
-
1por Milicich, MarianaMaterias: “...SEMANTICA DENOTACIONAL...”
Publicado 2022
Tesis de grado publishedVersion -
2por Freund, TeodoroMaterias: “...SEMANTICA DE KRIPKE...”
Publicado 2021
Tesis de grado publishedVersion