Bastien Mignoty

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Johnson Lindenstrauss

Computer Assisted Learning

Top Venues

Ann. Pure Appl. Log.

Publications

Paul-Elliot Anglès d'Auriac, Lu Liu, Bastien Mignoty, Ludovic Patey
Carlson-Simpson's lemma and applications in reverse mathematics. Ann. Pure Appl. Log. 174 (9) (2023)