TY  - THES 
A3  - Aranda Utrero, Víctor
AU  - Castro Abal, Joaquín
PY  - 2024
UR  - https://uvadoc.uva.es/handle/10324/72859
AB  - En este trabajo se estudia la teoría de tipos con funciones parciales. Para llevar a cabo
este estudio, se completa un amplio recorrido. El trabajo parte del contexto en el que nace la teoría
de tipos y con qué propositos. Seguidamente se exponen...
AB  - In this project type theory with partial functions is studied. To carry out this
investigation, an extensive journey is completed. The work starts from the context in which
type theory was born and for what purposes. Next, the type theory systems...
LA  - spa
KW  - Formalización de las Matemáticas
KW  - Términos no denotativos
KW  - Semántica
KW  - Regla de inferencia
KW  - Computación
KW  - Pedagogía
KW  - Formalization of Mathematics
KW  - Non-denoting terms
KW  - Semantics
KW  - Rule of inference
KW  - Computing
KW  - Pedagogy
TI  - Teoría de tipos con funciones parciales
M3  - info:eu-repo/semantics/masterThesis
ER  -