44p.何故か一つのファイルに同じ内容のものが二つ入っている（ただ、前にある方に一ページの欠落がある）ので、実際には22p。 目次。 Context The Problem A simple example Functors Types as initial fixed points Paramorphisms relationship with catamo…

http://www.cs.uu.nl/staff/lambert.html http://www.kestrel.edu/home/people/meertens/