Enviar aquest missatge de text: Type theory as a framework for modelling and programming