Sign in
Antoine Allioux
Publication Activity (10 Years)
Years Active: 2016-2021
Publications (10 Years): 3
Top Topics
Decision Trees
Evolutionary Algorithm
Neural Network
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)