%0 Book %1 Girard1989Proofs %A Girard, Jean-Yves %A Taylor, Paul %A Lafont, Yves %C Cambridge %D 1989 %I Cambridge University Press %K 03b15-higher-order-logic-type-theory 03b40-combinatory-logic-and-lambda-calculus 03f03-proof-theory-general %T Proofs and Types %U http://www.worldcat.org/isbn/0521371813 %@ 0521371813

@book{Girard1989Proofs, added-at = {2019-03-01T00:11:50.000+0100}, address = {Cambridge}, author = {Girard, Jean-Yves and Taylor, Paul and Lafont, Yves}, biburl = {https://www.bibsonomy.org/bibtex/2a4cb3b3aaf0804648ec70760ee0c5320/gdmcbain}, citeulike-article-id = {1585200}, citeulike-attachment-1 = {girard_89_proofs.pdf; /pdf/user/gdmcbain/article/1585200/1119456/girard_89_proofs.pdf; a31753386a6c5f7af0045a446598a57d15ae07b0}, citeulike-linkout-0 = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20\&path=ASIN/0521371813}, citeulike-linkout-1 = {http://www.amazon.de/exec/obidos/redirect?tag=citeulike01-21\&path=ASIN/0521371813}, citeulike-linkout-10 = {http://www.worldcat.org/oclc/974124034}, citeulike-linkout-2 = {http://www.amazon.fr/exec/obidos/redirect?tag=citeulike06-21\&path=ASIN/0521371813}, citeulike-linkout-3 = {http://www.amazon.jp/exec/obidos/ASIN/0521371813}, citeulike-linkout-4 = {http://www.amazon.co.uk/exec/obidos/ASIN/0521371813/citeulike00-21}, citeulike-linkout-5 = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20\&path=ASIN/0521371813}, citeulike-linkout-6 = {http://www.worldcat.org/isbn/0521371813}, citeulike-linkout-7 = {http://books.google.com/books?vid=ISBN0521371813}, citeulike-linkout-8 = {http://www.amazon.com/gp/search?keywords=0521371813\&index=books\&linkCode=qs}, citeulike-linkout-9 = {http://www.librarything.com/isbn/0521371813}, file = {girard_89_proofs.pdf}, howpublished = {Hardcover}, interhash = {e3fae0c9e885c20f4964411efba130c9}, intrahash = {a4cb3b3aaf0804648ec70760ee0c5320}, isbn = {0521371813}, keywords = {03b15-higher-order-logic-type-theory 03b40-combinatory-logic-and-lambda-calculus 03f03-proof-theory-general}, month = apr, posted-at = {2017-09-29 04:02:01}, priority = {5}, publisher = {Cambridge University Press}, timestamp = {2019-03-01T00:11:50.000+0100}, title = {{Proofs and Types}}, url = {http://www.worldcat.org/isbn/0521371813}, year = 1989 }