Skip to content

Instantly share code, notes, and snippets.

@beastaugh
Created November 26, 2010 15:20
Show Gist options
  • Save beastaugh/716834 to your computer and use it in GitHub Desktop.
Save beastaugh/716834 to your computer and use it in GitHub Desktop.
Type theory bibliography
@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" }
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment