Login / Signup
Antoine Allioux
Publication Activity (10 Years)
Years Active: 2016-2021
Publications (10 Years): 3
2025
2016
Top Topics
2025
2016
Decision Trees
2025
2016
Evolutionary Algorithm
2025
2016
Neural Network
2025
2016
Internal And External
Top Venues
CoRR
LICS
LINEARITY
</>
Publications
</>
Antoine Allioux
,
Eric Finster
,
Matthieu Sozeau
Types are Internal ∞-Groupoids.
CoRR
(2021)
Eric Finster
,
Antoine Allioux
,
Matthieu Sozeau
Types Are Internal ∞-Groupoids.
LICS
(2021)
Antoine Allioux
Krivine Machine and Taylor Expansion in a Non-uniform Setting.
LINEARITY
(2016)