research
∙
12/13/2022
A programming language characterizing quantum polynomial time
We introduce a first-order quantum programming language, named FOQ, whos...
research
∙
08/31/2022
Complete and tractable machine-independent characterizations of second-order polytime
The class of Basic Feasible Functionals BFF is the second-order counterp...
research
∙
02/23/2021
A tier-based typed programming language characterizing Feasible Functionals
The class of Basic Feasible Functionals BFF_2 is the type-2 counterpart ...
research
∙
02/19/2018
A Type-Based Complexity Analysis of Object Oriented Programs
A type system is introduced for a generic Object Oriented programming la...
research
∙
01/25/2018