Computable Models

We investigate mathematical modelling with theories of data types. We provide a formal setting for the formulation of such theories (TPL) and use it to introduce the notion of a computational model. We explore the notion and provide several case studies.

• Type: Journal
• Year: 2008
• Where: LOGCOM
• Authors: Raymond Turner
• Keywords: Computational Model, Data Types, LOGCOM 2008, Mathematical Modelling