Antoine Allioux

According to our database, Antoine Allioux authored at least 3 papers between 2016 and 2023.

Collaborative distances:

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

2023

Higher Structures in Homotopy Type Theory. (Structures supérieures en théorie des types homotopiques).

Antoine Allioux

PhD thesis, 2023

2021

Types Are Internal ∞-Groupoids.

Eric Finster, Antoine Allioux, Matthieu Sozeau

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2016

Krivine Machine and Taylor Expansion in a Non-uniform Setting.

Antoine Allioux

Proceedings of the Proceedings Fourth International Workshop on Linearity, 2016