Skip to content

Instantly share code, notes, and snippets.

@fluffybeing

fluffybeing/type-theory.bib

Forked from beastaugh/type-theory.bib
Created April 5, 2019 15:29
Show Gist options
  • Save fluffybeing/55f621d9345040184e014a1e807d2624 to your computer and use it in GitHub Desktop.
Save fluffybeing/55f621d9345040184e014a1e807d2624 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. @beastaugh beastaugh created this gist Nov 26, 2010.
    52 changes: 52 additions & 0 deletions type-theory.bib
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,52 @@
    @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" }