Patrick Baillot

Available identifiers

zbMath Open baillot.patrickMaRDI QIDQ276252

List of research outcomes

Publication	Date of Publication	Type
On basic feasible functionals and the interpretation method	2024-10-30	Paper
Bunched Fuzz: sensitivity for vector metrics	2023-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q6176119	2023-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q5079730	2022-05-28	Paper
Types for complexity of parallel computation in pi-calculus	2021-10-18	Paper
Combining linear logic and size types for implicit complexity	2020-04-21	Paper
Implicit computational complexity of subrecursive definitions and applications to cryptographic proofs	2019-10-25	Paper
Characterizing polynomial and exponential complexity classes in elementary lambda-calculus	2018-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q5278429	2017-07-19	Paper
Higher-order interpretations and program complexity	2016-05-03	Paper
Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs	2016-01-12	Paper
On the expressivity of elementary linear logic: characterizing Ptime and an exponential time hierarchy	2015-05-04	Paper
Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus	2014-09-15	Paper
Higher-Order Interpretations and Program Complexity	2012-11-22	Paper
On quasi-interpretations, blind abstractions and implicit complexity	2012-09-06	Paper
Light logics and optimal reduction: completeness and complexity	2011-02-21	Paper
A PolyTime Functional Language from Light Linear Logic	2010-05-04	Paper
Linear logic by levels and bounded time complexity	2009-12-15	Paper
Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic	2009-03-12	Paper
From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing	2009-03-10	Paper
Light types for polynomial time computation in lambda calculus	2009-03-02	Paper
Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic	2008-04-01	Paper
Foundations of Software Science and Computation Structures	2007-09-28	Paper
On light logics, uniform encodings and polynomial time	2006-08-28	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper
Type inference for light affine logic via constraints on words	2005-01-11	Paper
Stratified coherence spaces: A denotational semantics for light linear logic	2004-08-06	Paper
Elementary complexity and geometry of interaction	2001-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4263859	2000-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4218922	1999-03-18	Paper

Research outcomes over time

This page was built for person: Patrick Baillot