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 […]

, , , , ,