Induction, Coinduction, and Adjoints. Robin B. Cockett, J. & Santocanale, L. Electr. Notes Theor. Comput. Sci. (ENTCS), 69:101-119, 2002.
Induction, Coinduction, and Adjoints [link]Paper  bibtex   
@article{ dblp4151075,
  title = {Induction, Coinduction, and Adjoints},
  author = {J. Robin B. Cockett and Luigi Santocanale},
  author_short = {Robin B. Cockett, J. and Santocanale, L.},
  bibtype = {article},
  type = {article},
  year = {2002},
  key = {dblp4151075},
  id = {dblp4151075},
  biburl = {http://www.dblp.org/rec/bibtex/journals/entcs/CockettS02},
  url = {http://dx.doi.org/10.1016/S1571-0661(04)80561-9},
  journal = {Electr. Notes Theor. Comput. Sci. (ENTCS)},
  pages = {101-119},
  volume = {69},
  text = {Electr. Notes Theor. Comput. Sci. (ENTCS) 69:101-119 (2002)}
}

Downloads: 0