Tratamiento N-categorial de la lógica de la programación

Aquesta tesi apareix a les col·leccions següents