Integrating Linear and Dependent Types. - Neelakantan R. Krishnaswami; Cécilia Pradic; Nick Benton (POPL, 2015)

LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic. - Cécilia Pradic; Colin Riba (LICS, 2018)

Kleene Algebra with Hypotheses. - Amina Doumane; Denis Kuperberg; Damien Pous; Cécilia Pradic (FoSSaCS, 2019)

A Dialectica-Like Interpretation of a Linear MSO on Infinite Words. - Cécilia Pradic; Colin Riba (FoSSaCS, 2019)

From Normal Functors to Logarithmic Space Queries. - Lê Thành Dung Nguyên; Cécilia Pradic (ICALP, 2019)

Cantor-Bernstein implies Excluded Middle. - Cécilia Pradic; Chad E. Brown (CoRR, 2019)

The logical strength of Büchi's decidability theorem. - Leszek Aleksander Kolodziejczyk; Henryk Michalewski; Cécilia Pradic; Michal Skrzypczak (Log. Methods Comput. Sci., 2019)

A Curry-Howard Approach to Church's Synthesis. - Cécilia Pradic; Colin Riba (Log. Methods Comput. Sci., 2019)

Implicit Automata in Typed λ-Calculi I: Aperiodicity in a Non-Commutative Logic. - Lê Thành Dung Nguyên; Cécilia Pradic (ICALP, 2020)

Generating collection queries from proofs. - Michael Benedikt; Cécilia Pradic (CoRR, 2020)

Implicit automata in typed λ-calculi II: streaming transducers vs categorical semantics. - Lê Thành Dung Nguyên; Camille Noûs; Cécilia Pradic (CoRR, 2020)

Some proof-theoretical approaches to Monadic Second-Order logic. (Quelques liens entre logique Monadique du Second Ordre et théorie de la démonstration). - Cécilia Pradic (2020)

Comparison-Free Polyregular Functions. - Lê Thành Dung Nguyên; Camille Noûs; Cécilia Pradic (ICALP, 2021)

Generating collection transformations from proofs. - Michael Benedikt; Cécilia Pradic (Proc. ACM Program. Lang., 2021)

On the Weihrauch Degree of the Additive Ramsey Theorem over the Rationals. - Cécilia Pradic; Giovanni Soldà (CiE, 2022)

Synthesizing Nested Relational Queries from Implicit Specifications. - Michael Benedikt; Cécilia Pradic; Christoph Wernhard (PODS, 2023)

Revisiting the growth of polyregular functions: output languages, weighted automata and unary inputs. - Sandra Kiefer; Lê Thành Dung Nguyên; Cécilia Pradic (CoRR, 2023)

Two-way automata and transducers with planar behaviours are aperiodic. - Lê Thành Dung Nguyên; Camille Noûs; Cécilia Pradic (CoRR, 2023)

On the Weihrauch degree of the additive Ramsey theorem. - Arno Pauly; Cécilia Pradic; Giovanni Soldà (Comput., 2024)

The equational theory of the Weihrauch lattice with multiplication. - Eike Neumann; Arno Pauly; Cécilia Pradic (CoRR, 2024)

Implicit automata in { lambda}-calculi III: affine planar string-to-string functions. - Cécilia Pradic; Ian Price (CoRR, 2024)

The equational theory of the Weihrauch lattice with (iterated) composition. - Cécilia Pradic (CoRR, 2024)

Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory. - Michael Benedikt; Cécilia Pradic; Christoph Wernhard (Log. Methods Comput. Sci., 2024)

Represented Spaces of Represented Spaces. - Johanna Franklin; Eike Neumann; Arno Pauly; Cécilia Pradic; Manlio Valenti (CiE, 2025)

Computably Discrete Represented Spaces. - Eike Neumann; Arno Pauly; Cécilia Pradic; Manlio Valenti (CiE, 2025)

Weihrauch Problems as Containers. - Cécilia Pradic; Ian Price (CiE, 2025)

The Myhill isomorphism theorem does not generalize much. - Cécilia Pradic (CoRR, 2025)