Lambda.bib

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

@INPROCEEDINGS{dependentlytyped,
    author = {Ulf Norell},
    title = {Dependently typed programming in Agda},
    booktitle = {In Lecture Notes from the Summer School in Advanced Functional Programming},
    year = {2008}
}

@Book{ttfp,
  author =    {Simon Thompson},
  title =     {Type Theory and Functional Programming},
  publisher = {Addison-Wesley},
  year =      1991.}