A Dialectica-Like Interpretation of a Linear MSO on Infinite Words by Pradic, P, Riba, C

Implicit automata in typed λ-calculi I: Aperiodicity in a non-commutative logic by Nguyễn, LTD, Pradic, P

From normal functors to logarithmic space queries by Nguyên, L, Pradic, P

Generating collection transformations from proofs by Benedikt, M, Pradic, P

LMSO: A Curry-Howard approach to Church's synthesis via linear logic by Pradic, P, Riba, C

A Curry-Howard approach to church's synthesis by Pradic, P, Riba, C

Comparison-free polyregular functions by Nguyễn, LTD, Noûs, C, Pradic, P

The logical strength of Büchi's decidability theorem by Kolodziejczyk, L, Michalewski, H, Pradic, P, Skrzypczak, M

Kleene Algebra with Hypotheses by Doumane, A, Kuperberg, D, Pous, D, Pradic, P

The logical strength of Büchi's decidability theorem by Kolodziejczyk, L, Michalewski, H, Pradic, P, Skrzypczak, M