1 “...Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics...”

2 “... simulations which combine in the emerging area of computational science...”

3 “... and researchers in oceanography, geophysical fluid dynamics, marine and civil engineering, computational science...”