research
∙
08/16/2023
Types, equations, dimensions and the Pi theorem
The languages of mathematical physics and modelling are endowed with a r...
share
research
∙
08/05/2020
Semantic verification of dynamic programming
We prove that the generic framework for specifying and solving finite-ho...
research
∙
08/05/2020
