by S Thompson 1999 Cited by 384 The first three chapters survey the three fields upon which type theory depends: logic, the -calculus and functional programming and construc- tive mathematics.... by C Young 2005 Cited by 11 science. This essay, in contrast, argues that mathematics has more to do with ... matically intenseonly 20% involved the use of algebra (Backhouse, 1998, pp.923). By 1980 ... 2001, p. 91), but this points toward Samuelson's views. ... since Samuelson, economics has mo