Régis Spadotti

According to our database, Régis Spadotti authored at least 6 papers between 2014 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

A mechanized theory of regular trees in dependent type theory. (Une théorie mécanisée des arbres réguliers en théorie des types dépendants).

Régis Spadotti

PhD thesis, 2016

2015

Towards a verified transformation from AADL to the formal component-based language FIACRE.

Jean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho, Régis Spadotti, Zhibin Yang

Sci. Comput. Program., 2015

Non-Wellfounded Trees in Homotopy Type Theory.

Benedikt Ahrens, Paolo Capriotti, Régis Spadotti

Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015

A Mechanized Theory of Regular Trees in Dependent Type Theory.

Régis Spadotti

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

2014

Coinitial semantics for redecoration of triangular matrices.

Benedikt Ahrens, Régis Spadotti

CoRR, 2014

Terminal Semantics for Codata Types in Intensional Martin-Löf Type Theory.

Benedikt Ahrens, Régis Spadotti

Proceedings of the 20th International Conference on Types for Proofs and Programs, 2014