bibliografia.bib

@book{pierce,
  title={Basic Category Theory for Computer Scientists},
  author={Pierce, B.C.},
  isbn={9780262660716},
  lccn={91008489},
  series={Foundations of computing series: research reports and notes},
  url={https://books.google.es/books?id=ezdeaHfpYPwC},
  year={1991},
  publisher={MIT Press}
}

@book{buurlage,
  title={Categories and Haskell},
  author={Buurlage, Jan-Willem},
  url={2018},
  
}
@book{lipovaca2011learn,
  title={Learn You a Haskell for Great Good!: A Beginner's Guide},
  author={Lipovaca, M.},
  isbn={9781593272951},
  url={https://books.google.es/books?id=QesxXj\_ecD0C},
  year={2011},
  publisher={No Starch Press}
}

@book{milewski,
  title={Category Theory for Programmers},
  author={Milewski, Bartosz},
  url={https://github.com/hmemcpy/milewski-ctfp-pdf/tree/v0.6.0},
  year={2018}
}

@book{isaza,
  title={Category Theory Applied to Functional Programming},
  author={Villa Isaza, J. P.},
  url={http://www1.eafit.edu.co/asr/pubs/others/cain-screen.pdf},
  year={2014},
  institution = {Escuela de Ingienería, Universidad EAFIT}
}

@article{lambek,
  author  = {Lambek, J.}, 
  title   = {A fixed point theorem for complete categories},
  journal = {Mathematische Zeitschrift},
  year    = 1968,
  number  = 103,
  pages   = {151-161}
}

@book{awodey,
   title =     {Category Theory},
   author =    {Steve Awodey},
   publisher = {Oxford University Press},
   isbn =      {0198568614,9780198568612},
   year =      {2006},
   series =    {Oxford Logic Guides 49},
   edition =   {1st},
   volume =    {},
}

@book{hottbook,
  author =    {The {Univalent Foundations Program}},
  title =     {Homotopy Type Theory: Univalent Foundations of Mathematics},
  publisher = {\url{https://homotopytypetheory.org/book}},
  address =   {Institute for Advanced Study},
  year =      2013
}

@book{thompson1991type,
  title={Type Theory \& Functional Programming},
  author={Thompson, S.},
  isbn={9780201416671},
  lccn={91012295},
  series={International Computer Science Series},
  url={https://books.google.es/books?id=jH9QAAAAMAAJ},
  year={1991},
  publisher={Addison-Wesley}
}



@misc{4cec4a43c86444479dc0003182424795,
title = "Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire",
abstract = "We develop a calculus for lazy functional programming based on recursion operators associated with data type definitions. For these operators we derive various algebraic laws that are useful in deriving and manipulating programs. We shall show that all example functions in Bird and Wadler's {"}Introduction to Functional Programming{"} can be expressed using these operators.",
keywords = "EWI-7281, IR-56289",
author = "Erik Meijer and J. Hughes and M.M. Fokkinga and Ross Paterson",
note = "Imported from EWI/DB PMS [db-utwente:inpr:0000003415]",
year = "1991",
month = "8",
doi = "10.1007/3540543961_7",
pages = "124--144",
}