Cécilia Pradic

38 papers A* 6B 5C 4Journal 22
YearRankTypeTitle / Venue / Authors
2026 J jnl
Problems with fixpoints of polynomials of polynomials.
CoRR
Cécilia Pradic, Ian Price
2025 C conf
Computably Discrete Represented Spaces.
CiE
Eike Neumann, Arno Pauly, Cécilia Pradic, Manlio Valenti
2025 J jnl
Computably discrete represented spaces.
CoRR
Eike Neumann, Arno Pauly, Cécilia Pradic, Manlio Valenti
2025 C conf
Represented Spaces of Represented Spaces.
CiE
Johanna Franklin, Eike Neumann, Arno Pauly, Cécilia Pradic, Manlio Valenti
2025 J jnl
The Myhill isomorphism theorem does not generalize much.
CoRR
Cécilia Pradic
2025 C conf
Weihrauch Problems as Containers.
CiE
Cécilia Pradic, Ian Price
2025 J jnl
Weihrauch problems as containers.
CoRR
Cécilia Pradic, Ian Price
2024 B conf
Implicit automata in {\lambda}-calculi III: affine planar string-to-string functions.
MFPS
Cécilia Pradic, Ian Price
2024 J jnl
On the Weihrauch degree of the additive Ramsey theorem.
Comput.
Arno Pauly, Cécilia Pradic, Giovanni Soldà
2024 J jnl
Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory.
Log. Methods Comput. Sci.
Michael Benedikt, Cécilia Pradic, Christoph Wernhard
2024 J jnl
The equational theory of the Weihrauch lattice with (iterated) composition.
CoRR
Cécilia Pradic
2024 J jnl
The equational theory of the Weihrauch lattice with multiplication.
CoRR
Eike Neumann, Arno Pauly, Cécilia Pradic
2023 J jnl
On the Weihrauch degree of the additive Ramsey theorem.
CoRR
Arno Pauly, Cécilia Pradic, Giovanni Soldà
2023 J jnl
Revisiting the growth of polyregular functions: output languages, weighted automata and unary inputs.
CoRR
Sandra Kiefer, Lê Thành Dung Nguyên, Cécilia Pradic
2023 A* conf
Synthesizing Nested Relational Queries from Implicit Specifications.
PODS
Michael Benedikt, Cécilia Pradic, Christoph Wernhard
2023 J jnl
Two-way automata and transducers with planar behaviours are aperiodic.
CoRR
Lê Thành Dung Nguyên, Camille Noûs, Cécilia Pradic
2022 C conf
On the Weihrauch Degree of the Additive Ramsey Theorem over the Rationals.
CiE
Cécilia Pradic, Giovanni Soldà
2022 J jnl
Synthesizing Nested Relational Queries from Implicit Specifications.
CoRR
Michael Benedikt, Cécilia Pradic, Christoph Wernhard
2022 J jnl
Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory.
CoRR
Michael Benedikt, Cécilia Pradic, Christoph Wernhard
2021 A* conf
Comparison-Free Polyregular Functions.
ICALP
Lê Thành Dung Nguyên, Camille Noûs, Cécilia Pradic
2021 J jnl
Comparison-free polyregular functions.
CoRR
Lê Thành Dung Nguyên, Camille Noûs, Cécilia Pradic
2021 J jnl
Generating collection transformations from proofs.
Proc. ACM Program. Lang.
Michael Benedikt, Cécilia Pradic
2020 J jnl
Generating collection queries from proofs.
CoRR
Michael Benedikt, Cécilia Pradic
2020 A* conf
Implicit Automata in Typed λ-Calculi I: Aperiodicity in a Non-Commutative Logic.
ICALP
Lê Thành Dung Nguyên, Cécilia Pradic
2020 J jnl
Implicit automata in typed λ-calculi II: streaming transducers vs categorical semantics.
CoRR
Lê Thành Dung Nguyên, Camille Noûs, Cécilia Pradic
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
2019 J jnl
A Curry-Howard Approach to Church's Synthesis.
Log. Methods Comput. Sci.
Cécilia Pradic, Colin Riba
2019 B conf
A Dialectica-Like Interpretation of a Linear MSO on Infinite Words.
FoSSaCS
Cécilia Pradic, Colin Riba
2019 J jnl
Cantor-Bernstein implies Excluded Middle.
CoRR
Cécilia Pradic, Chad E. Brown
2019 A* conf
From Normal Functors to Logarithmic Space Queries.
ICALP
Lê Thành Dung Nguyên, Cécilia Pradic
2019 B conf
Kleene Algebra with Hypotheses.
FoSSaCS
Amina Doumane, Denis Kuperberg, Damien Pous, Cécilia Pradic
2019 J jnl
The logical strength of Büchi's decidability theorem.
Log. Methods Comput. Sci.
Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Cécilia Pradic, Michal Skrzypczak
2018 J jnl
A Curry-Howard Approach to Church's Synthesis.
CoRR
Cécilia Pradic, Colin Riba
2018 A* conf
LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic.
LICS
Cécilia Pradic, Colin Riba
2017 B conf
A Curry-Howard Approach to Church's Synthesis.
FSCD
Cécilia Pradic, Colin Riba
2016 B conf
The Logical Strength of Büchi's Decidability Theorem.
CSL
Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Cécilia Pradic, Michal Skrzypczak
2016 J jnl
The logical strength of Büchi's decidability theorem.
CoRR
Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Cécilia Pradic, Michal Skrzypczak
2015 A* conf
Integrating Linear and Dependent Types.
POPL
Neelakantan R. Krishnaswami, Cécilia Pradic, Nick Benton