research
∙
04/08/2022
A Mathematical Framework for Transformations of Physical Processes
We observe that the existence of sequential and parallel composition sup...
research
∙
12/13/2021
Composable constraints
We introduce a notion of compatibility between constraint encoding and c...
research
∙
07/30/2021