Pierre Pradic

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the Weihrauch degree of the additive Ramsey theorem over the rationals	2022-12-07	Paper
scientific article; zbMATH DE number 7561616 (Why is no real title available?)	2022-07-21	Paper
LMSO: a Curry-Howard approach to Church's synthesis via linear logic Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
scientific article; zbMATH DE number 7204449 (Why is no real title available?)	2020-05-26	Paper
Kleene algebra with hypotheses	2020-01-28	Paper
A Dialectica-like interpretation of a linear MSO on infinite words	2020-01-28	Paper
scientific article; zbMATH DE number 7147442 (Why is no real title available?) (available as arXiv preprint)	2020-01-03	Paper
The logical strength of Büchi's decidability theorem (available as arXiv preprint)	2019-05-24	Paper
The logical strength of Büchi's decidability theorem	2017-07-19	Paper
Integrating linear and dependent types Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2016-09-29	Paper
The logical strength of B\"uchi's decidability theorem (available as arXiv preprint)	2016-08-26	Paper

Research outcomes over time

This page was built for person: Pierre Pradic