Régis Spadotti

Publication Activity (10 Years)

Years Active: 2014-2015
Publications (10 Years): 0

Top Topics

Visual Languages

Precisely Defined

Theoretical Basis

Kronecker Product

Top Venues

Paul Sabatier University, Toulouse, France (PHD)

Education History

Paul Sabatier University, Toulouse, France

PHD

Publications

Jean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho, Régis Spadotti, Zhibin Yang
Towards a verified transformation from AADL to the formal component-based language FIACRE. Sci. Comput. Program. 106 (2015)
Benedikt Ahrens, Paolo Capriotti, Régis Spadotti
Non-wellfounded trees in Homotopy Type Theory. CoRR (2015)
Benedikt Ahrens, Paolo Capriotti, Régis Spadotti
Non-Wellfounded Trees in Homotopy Type Theory. TLCA (2015)
Régis Spadotti
A Mechanized Theory of Regular Trees in Dependent Type Theory. ITP (2015)
Benedikt Ahrens, Régis Spadotti
Coinitial semantics for redecoration of triangular matrices. CoRR (2014)
Benedikt Ahrens, Régis Spadotti
Terminal Semantics for Codata Types in Intensional Martin-Löf Type Theory. TYPES (2014)