Induction, Coinduction, and Adjoints. Robin B. Cockett, J. & Santocanale, L. Electr. Notes Theor. Comput. Sci. (ENTCS), 69:101-119, 2002.
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
{"_id":"sSHC8EDSjsFTmGnpW","bibbaseid":"robinbcockett-santocanale-inductioncoinductionandadjoints-2002","downloads":0,"creationDate":"2016-01-22T22:38:04.097Z","title":"Induction, Coinduction, and Adjoints","author_short":["Robin B. Cockett, J.","Santocanale, L."],"year":2002,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/entcs/CockettS02","bibdata":{"title":"Induction, Coinduction, and Adjoints","author":["J. Robin B. Cockett","Luigi Santocanale"],"author_short":["Robin B. Cockett, J.","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)","bibtex":"@article{ dblp4151075,\n title = {Induction, Coinduction, and Adjoints},\n author = {J. Robin B. Cockett and Luigi Santocanale},\n author_short = {Robin B. Cockett, J. and Santocanale, L.},\n bibtype = {article},\n type = {article},\n year = {2002},\n key = {dblp4151075},\n id = {dblp4151075},\n biburl = {http://www.dblp.org/rec/bibtex/journals/entcs/CockettS02},\n url = {http://dx.doi.org/10.1016/S1571-0661(04)80561-9},\n journal = {Electr. Notes Theor. Comput. Sci. (ENTCS)},\n pages = {101-119},\n volume = {69},\n text = {Electr. Notes Theor. Comput. Sci. (ENTCS) 69:101-119 (2002)}\n}","bibbaseid":"robinbcockett-santocanale-inductioncoinductionandadjoints-2002","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/S1571-0661(04)80561-9"},"downloads":0},"search_terms":["induction","coinduction","adjoints","robin b. cockett","santocanale"],"keywords":[],"authorIDs":[],"dataSources":["anCAp2bw9yAeTmkZx"]}