[<<][math][>>][..]Fri Jan 21 12:01:08 EST 2011

This terminology is used in [1]. The concrete interpretation for me is that "final" means modeling in terms of functions while "initial" means modeling in terms of abstract data types. Other than that the terminology is obscure to me. Googling brings me to this[2]. So it's in the field of semantics. [1] http://www.cs.rutgers.edu/~ccshan/tagless/jfp.pdf [2] http://homepages.feis.herts.ac.uk/~comqejb/algspec/node12.html

[Reply][About]

[<<][math][>>][..]