research
∙
07/18/2022
Multiplicative linear logic from a resolution-based tile system
We present the stellar resolution, a "flexible" tile system based on Rob...
share
research
∙
05/18/2022
A Novel Loop Fission Technique Inspired by Implicit Computational Complexity
This work explores an unexpected application of Implicit Computational C...
research
∙
03/10/2022
Realizing Implicit Computational Complexity
This abstract aims at presenting an ongoing effort to apply a novel typi...
research
∙
03/08/2022
mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity
Implicit Computational Complexity (ICC) drives better understanding of c...
research
∙
12/28/2021
A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory
Polynomial functors are a categorical generalization of the usual notion...
research
∙
06/24/2021
An implementation of flow calculus for complexity analysis (tool paper)
Abstract. We present a tool to automatically perform the data-size analy...
research
∙
06/24/2021
An extended and more practical mwp flow analysis
We improve and refine a method for certifying that the values' sizes com...
research
∙
07/31/2020
Stellar Resolution: Multiplicatives
We present a new asynchronous model of computation named Stellar Resolut...
research
∙
07/07/2020
An Embellished Account of Agafonov's Proof of Agafonov's Theorem
We give an account of Agafonov's original proof of his eponymous theorem...
research
∙
02/24/2020
Lower bounds for prams over Z
This paper presents a new abstract method for proving lower bounds in co...
research
∙
01/31/2020
Probabilistic Complexity Classes through Semantics
In a recent paper, the author has shown how Interaction Graphs models fo...
research
∙
01/31/2020
Zeta Functions and the (Linear) Logic of Markov Processes
In a series of papers, the author introduced models of linear logic know...
research
∙
08/13/2019
Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational Practical Aspects of Resource Analysis
These proceedings present the accepted regular papers and some selected ...
research
∙
04/15/2019
Coherent Interaction Graphs
We introduce the notion of coherent graphs, and show how those can be us...
research
∙
02/01/2019
Finite semantics of polymorphism, complexity and the power of type fixpoints
Many applications of denotational semantics, such as higher-order model ...
research
∙
11/16/2018
PRAMs over integers do not compute maxflow efficiently
Finding lower bounds in complexity theory has proven to be an extremely ...
research
∙
10/18/2017