A tipe-theoretic approach to proof support for algebraic design frameworks

Tesis doctoral de Nicolas Eduardo Mylonakis Pascual

 

Datos académicos de la tesis doctoral «A tipe-theoretic approach to proof support for algebraic design frameworks«

  • Título de la tesis:  A tipe-theoretic approach to proof support for algebraic design frameworks
  • Autor:  Nicolas Eduardo Mylonakis Pascual
  • Universidad:  Politécnica de catalunya
  • Fecha de lectura de la tesis:  30/06/2000

 

Dirección y tribunal

  • Director de la tesis
    • Fernando Orejas Valdés
  • Tribunal
    • Presidente del tribunal: jordi Levy diaz
    • michel Bidoit (vocal)
    • don Sannella (vocal)
    • francisca Lucio carrasco (vocal)

 

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Scroll al inicio