%0 Book %1 Pierce2017Logical %A Pierce, Benjamin C. %A de Amorim, Arthur A. %A Casinghino, Chris %A Gaboardi, Marco %A Greenberg, Michael %A Hritcu, Catalin %A Sjöberg, Vilhelm %A Yorgey, Brent %D 2017 %I Software Foundations %K 03b15-higher-order-logic-type-theory 68n15-programming-languages 68q05-models-of-computation %T Logical Foundations %U https://softwarefoundations.cis.upenn.edu/lf-current %V 1 %7 5.3

@book{Pierce2017Logical, added-at = {2019-03-01T00:11:50.000+0100}, author = {Pierce, Benjamin C. and de Amorim, Arthur A. and Casinghino, Chris and Gaboardi, Marco and Greenberg, Michael and Hri\c{t}cu, C\u{a}t\u{a}lin and Sj\"{o}berg, Vilhelm and Yorgey, Brent}, biburl = {https://www.bibsonomy.org/bibtex/2ff60904436e91d85a057934249825813/gdmcbain}, citeulike-article-id = {14445505}, citeulike-linkout-0 = {https://softwarefoundations.cis.upenn.edu/lf-current}, day = 6, edition = {5.3}, interhash = {8a6d64568f6a55db108d80886b34f6fc}, intrahash = {ff60904436e91d85a057934249825813}, keywords = {03b15-higher-order-logic-type-theory 68n15-programming-languages 68q05-models-of-computation}, month = sep, posted-at = {2017-10-04 23:36:28}, priority = {5}, publisher = {Software Foundations}, timestamp = {2019-03-01T00:11:50.000+0100}, title = {{Logical Foundations}}, url = {https://softwarefoundations.cis.upenn.edu/lf-current}, volume = 1, year = 2017 }