The research hypothesis is that the programming languages Cardelli develops do a reasonable job, and there are examples where they have delivered better predic

The research hypothesis is that the programming languages Cardelli develops do a reasonable job, and there are examples where they have delivered better predictions than differential equation based approaches.