Cécilia Pradic

According to our database, Cécilia Pradic authored at least 23 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

The equational theory of the Weihrauch lattice with (iterated) composition.

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 multiplication.

Eike Neumann, Arno Pauly, Cécilia Pradic

CoRR, 2024

On the Weihrauch degree of the additive Ramsey theorem.

Arno Pauly, Cécilia Pradic, Giovanni Soldà

Comput., 2024

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

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

Synthesizing Nested Relational Queries from Implicit Specifications.

Michael Benedikt, Cécilia Pradic, Christoph Wernhard

Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023

2022

On the Weihrauch Degree of the Additive Ramsey Theorem over the Rationals.

Cécilia Pradic, Giovanni Soldà

Proceedings of the Revolutions and Revelations in Computability, 2022

2021

Generating collection transformations from proofs.

Michael Benedikt, Cécilia Pradic

Proc. ACM Program. Lang., 2021

Comparison-Free Polyregular Functions.

Lê Thành Dung Nguyên, Camille Noûs, Cécilia Pradic

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

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

PhD thesis, 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

Generating collection queries from proofs.

Michael Benedikt, Cécilia Pradic

CoRR, 2020

Implicit Automata in Typed λ-Calculi I: Aperiodicity in a Non-Commutative Logic.

Lê Thành Dung Nguyên, Cécilia Pradic

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

2019

A Curry-Howard Approach to Church's Synthesis.

Cécilia Pradic, Colin Riba

Log. Methods Comput. Sci., 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

Cantor-Bernstein implies Excluded Middle.

Cécilia Pradic, Chad E. Brown

CoRR, 2019

From Normal Functors to Logarithmic Space Queries.

Lê Thành Dung Nguyên, Cécilia Pradic

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

A Dialectica-Like Interpretation of a Linear MSO on Infinite Words.

Cécilia Pradic, Colin Riba

Proceedings of the Foundations of Software Science and Computation Structures, 2019

Kleene Algebra with Hypotheses.

Amina Doumane, Denis Kuperberg, Damien Pous, Cécilia Pradic

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018

LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic.

Cécilia Pradic, Colin Riba

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2015

Integrating Linear and Dependent Types.

Neelakantan R. Krishnaswami, Cécilia Pradic, Nick Benton

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015