Fri Jan 21 12:01:08 EST 2011

Initial Algebra / Final Algebra

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