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 […]
Tesis doctoral de Jordi Levy Diaz
Información academica Jordi Levy Diaz. Tesis donde Jordi Levy Diaz ha sido autor, director o parte del tribunal.
On some variants of second-order unification
Tesis doctoral de Mateu Villaret Auselle In this thesis we present several results about second-order unification. It is well known
The calculus of refinements: a formal specification model based on inclusions
Tesis doctoral de Jordi Levy Diaz Datos académicos de la tesis doctoral «The calculus of refinements: a formal specification