research
∙
11/11/2019
A generic imperative language for polynomial time
We propose a generic imperative programming language STR that captures P...
share
research
∙
08/15/2018
A theory of finite structures
We develop a novel formal theory of finite structures, based on a view o...
research
∙
02/09/2018
