Freiric Barral Sergei Soloviev Inductive Type Schemas as Functors. 35-45 2006 conf/csr/2006 CSR http://dx.doi.org/10.1007/11753728_7 db/conf/csr/csr2006.html#BarralS06