Patrick Baillot

Available identifiers

zbMath Open baillot.patrickMaRDI QIDQ276252

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2708316	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Patrick Baillot