Mathematics & Mathematical Logic

A computational model is a mathematical structure which is constructed in an easy way and is useful in performing certain computations on the structure. This book discusses how the idea of 'computational model' has been formalised by connecting the domain theory with the theory of metric spaces and related topological spaces.