Type theory bibliography

type-theory.bib

@book { girard1989,
        author       = "Jean-Yves Girard and Yves Lafont and Paul Taylor",
        title        = "Proofs and Types",
        publisher    = "Cambridge University Press",
        year         = "1989",
        isbn         = "978-0521371810" }

@book { barendregt1984
        author       = "Henrik P. Barendregt",
        title        = "The Lambda Calculus: Its Syntax and Semantics",
        publisher    = "North Holland",
        year         = "1984",
        isbn         = "978-0444875082",
        edition      = "second" }

@book { sorensen2006,
        author       = "Morten Heine Sørensen",
        title        = "Lectures on the Curry-Howard Isomorphism",
        publisher    = "Elsevier Science",
        year         = "2006",
        isbn         = "978-0444520777" }

@book { hindley-seldin,
        author       = "J. Roger Hindley and Jonathan P. Seldin",
        title        = "Lambda-Calculus and Combinators: An Introduction",
        publisher    = "Cambridge University Press",
        year         = "2008",
        isbn         = "978-0521898850",
        edition      = "second" }

@book { jacobs2001,
        author       = "Bart Jacobs",
        title        = "Categorical Logic and Type Theory",
        publisher    = "North Holland",
        year         = "1999",
        isbn         = "978-0444501707" }

@book { pierce2002,
        author       = "Benjamin C. Pierce",
        title        = "Types and Programming Languages",
        publisher    = "MIT Press",
        year         = "2002",
        isbn         = "978-0262162098" }

@incollection {sep-type-theory,
        author       = "Thierry Coquand",
        title        = "Type Theory",
        booktitle    = "The Stanford Encyclopedia of Philosophy",
        editor       = "Edward N. Zalta",
        howpublished = "\url{http://plato.stanford.edu/archives/spr2010/entries/type-theory/}",
        year         = "2010",
        edition      = "Spring 2010" }