Search: 'Cécilia Pradic'

Showing 1 - 15 of 15 query time: 0.07s
Search Tools: Get RSS Feed
No Cover Image

Journal article


No Cover Image

Conference Paper/Proceeding/Abstract


Swansea University Author: Cécilia Pradic
Published in Lecture Notes in Computer Science (2019)
No Cover Image

Conference Paper/Proceeding/Abstract


No Cover Image

Journal article


No Cover Image

Conference Paper/Proceeding/Abstract

Weihrauch Problems as Containers / Cécilia Pradic, Ian Price

Swansea University Authors: Cécilia Pradic, Ian Price
Published in Lecture Notes in Computer Science (2025)
No Cover Image

Conference Paper/Proceeding/Abstract


No Cover Image

Conference Paper/Proceeding/Abstract

Integrating Linear and Dependent Types / Neelakantan R. Krishnaswami, Nick Benton

No Cover Image

Conference Paper/Proceeding/Abstract


No Cover Image

Journal article

On the Weihrauch degree of the additive Ramsey theorem / Arno Pauly, Cécilia Pradic, Giovanni Solda

Swansea University Authors: Arno Pauly, Cécilia Pradic, Giovanni Solda
Published in Computability (2024)
No Cover Image

Journal article


Swansea University Author: Cécilia Pradic
Published in Logical Methods in Computer Science (2024)
No Cover Image

Conference Paper/Proceeding/Abstract

Comparison-Free Polyregular Functions. / Lê Thành Dũng (Tito) Nguyễn, Camille Noûs

No Cover Image

Conference Paper/Proceeding/Abstract

The logical strength of Büchi's decidability theorem / Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Michał Skrzypczak

No Cover Image

Conference Paper/Proceeding/Abstract

Kleene Algebra with Hypotheses / Amina Doumane, Denis Kuperberg, Damien Pous

Swansea University Author: Cécilia Pradic
Published in Lecture Notes in Computer Science (2019)
No Cover Image

Conference Paper/Proceeding/Abstract

Computably Discrete Represented Spaces / Eike Neumann, Arno Pauly, Cécilia Pradic, Manlio Valenti

No Cover Image

Conference Paper/Proceeding/Abstract


Search Tools: Get RSS Feed

Narrow Search

Year of Publication