3 papers
cs.LO2019
A generic imperative language for polynomial time
Daniel Leivant
The ramification method in Implicit Computational Complexity has been associated with functional programming, but adapting it to generic imperative programming is highly desirable,…
cs.LO2018
A theory of finite structures
Daniel Leivant
We develop a novel formal theory of finite structures, based on a view of finite structures as a fundamental artifact of computing and programming, forming a common platform for co…
cs.LO2018
Implicit complexity via structure transformation
Daniel Leivant, Jean-Yves Marion
Implicit computational complexity, which aims at characterizing complexity classes by machine-independent means, has traditionally been based, on the one hand, on programs and dedu…