Doktorego-tesia

  1. Una lógica trivalorada para funciones recursivas parciales 1990

    Universidad Complutense de Madrid

Tesi epaimahaiak (1)

  1. Epaimahaikidea

    Sistemas de tipos puros con universos 1999

    Universidad de Málaga

    Ruiz Jiménez, Blas Carlos