Pierre Pradic

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 21

Top Topics

Retrieve Documents

Statistically Independent

Relational Queries

Top Venues

Log. Methods Comput. Sci.

Publications

Arno Pauly, Pierre Pradic, Giovanni Solda
On the Weihrauch degree of the additive Ramsey theorem. CoRR (2023)
Michael Benedikt, Pierre Pradic, Christoph Wernhard
Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory. CoRR (2022)
Michael Benedikt, Pierre Pradic, Christoph Wernhard
Synthesizing Nested Relational Queries from Implicit Specifications. CoRR (2022)
Pierre Pradic, Giovanni Solda
On the Weihrauch Degree of the Additive Ramsey Theorem over the Rationals. CiE (2022)
Michael Benedikt, Pierre Pradic
Generating collection transformations from proofs. Proc. ACM Program. Lang. 5 (POPL) (2021)
Lê Thành Dung Nguyên, Camille Noûs, Pierre Pradic
Comparison-free polyregular functions. CoRR (2021)
Lê Thành Dung Nguyên, Camille Noûs, Pierre Pradic
Comparison-Free Polyregular Functions. ICALP (2021)
Lê Thành Dung Nguyên, Camille Noûs, Pierre Pradic
Implicit automata in typed λ-calculi II: streaming transducers vs categorical semantics. CoRR (2020)
Michael Benedikt, Pierre Pradic
Generating collection queries from proofs. CoRR (2020)
Lê Thành Dung Nguyên, Pierre Pradic
Implicit Automata in Typed λ-Calculi I: Aperiodicity in a Non-Commutative Logic. ICALP (2020)
Lê Thành Dung Nguyên, Pierre Pradic
From Normal Functors to Logarithmic Space Queries. ICALP (2019)
Pierre Pradic, Chad E. Brown
Cantor-Bernstein implies Excluded Middle. CoRR (2019)
Pierre Pradic, Colin Riba
A Curry-Howard Approach to Church's Synthesis. Log. Methods Comput. Sci. 15 (4) (2019)
Pierre Pradic, Colin Riba
A Dialectica-Like Interpretation of a Linear MSO on Infinite Words. FoSSaCS (2019)
Amina Doumane, Denis Kuperberg, Damien Pous, Pierre Pradic
Kleene Algebra with Hypotheses. FoSSaCS (2019)
Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Pierre Pradic, Michal Skrzypczak
The logical strength of Büchi's decidability theorem. Log. Methods Comput. Sci. 15 (2) (2019)
Pierre Pradic, Colin Riba
A Curry-Howard Approach to Church's Synthesis. CoRR (2018)
Pierre Pradic, Colin Riba
LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic. LICS (2018)
Pierre Pradic, Colin Riba
A Curry-Howard Approach to Church's Synthesis. FSCD (2017)
Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Pierre Pradic, Michal Skrzypczak
The logical strength of Büchi's decidability theorem. CoRR (2016)
Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Pierre Pradic, Michal Skrzypczak
The Logical Strength of Büchi's Decidability Theorem. CSL (2016)
Neelakantan R. Krishnaswami, Pierre Pradic, Nick Benton
Integrating Linear and Dependent Types. POPL (2015)