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

 

Documents amb el text complet d'aquesta tesi

Aquesta tesi apareix a les col·leccions següents