You are here

Una traducción de la teoría de tipos proposicional híbrida ecuacional (EHPTT) a la lógica multivariada de primer orden (MSL)

PhD Defense Date:

12/05/2023

Thesis Defended:

Yes

PhD Student:

José Javier González López

Tutor:

Manzano Arjona, María

Director/a:

Moldovan, Andrei

Manzano Arjona, María

Institution:

Universidad de Salamanca