marco polo/statement.bib

   1 @article{bohm,\r
   2  author =       "Corrado B{\"o}hm",\r
   3  title =        "{Alcune} {Propriet{\`a}} delle {Forme} $\beta\eta$-normali nel\r
   4  $\lambda${K}-calcolo. ({Italian})",\r
   5  journal =      "Pubblicazioni dell'IAC",\r
   6  volume =       "696:119",\r
   7  year =         "1968"\r
   8 }\r
   9 \r
  10 @article{DBLP:journals/tcs/Huet93,\r
  11   author    = {G{\'{e}}rard P. Huet},\r
  12   title     = {An {Analysis} of {B}{\"{o}}hm's {T}heorem},\r
  13   journal   = {Theor. Comput. Sci.},\r
  14   volume    = {121},\r
  15   number    = {1{\&}2},\r
  16   pages     = {145--167},\r
  17   year      = {1993},\r
  18   url       = {https://doi.org/10.1016/0304-3975(93)90087-A},\r
  19   doi       = {10.1016/0304-3975(93)90087-A},\r
  20   timestamp = {Sun, 28 May 2017 13:20:07 +0200},\r
  21   biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tcs/Huet93},\r
  22   bibsource = {dblp computer science bibliography, http://dblp.org}\r
  23 }\r
  24 \r
  25 @phdthesis{morris,\r
  26   author       = {J.-H. Morris},\r
  27   title        = {Lambda-calculus models of programming languages},\r
  28   school       = {M.I.T.},\r
  29   year         = 1968,\r
  30 }\r
  31 \r
  32 @inproceedings{DBLP:conf/lics/Saurin05,\r
  33   author    = {Alexis Saurin},\r
  34   title     = {Separation with Streams in the lambda{\(\mathrm{\mu}\)}-calculus},\r
  35   booktitle = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005),\r
  36                26-29 June 2005, Chicago, IL, USA, Proceedings},\r
  37   pages     = {356--365},\r
  38   year      = {2005},\r
  39   crossref  = {DBLP:conf/lics/2005},\r
  40   url       = {https://doi.org/10.1109/LICS.2005.48},\r
  41   doi       = {10.1109/LICS.2005.48},\r
  42   timestamp = {Thu, 25 May 2017 00:42:40 +0200},\r
  43   biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lics/Saurin05},\r
  44   bibsource = {dblp computer science bibliography, http://dblp.org}\r
  45 }\r
  46 @proceedings{DBLP:conf/lics/2005,\r
  47   title     = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005),\r
  48                26-29 June 2005, Chicago, IL, USA, Proceedings},\r
  49   publisher = {{IEEE} Computer Society},\r
  50   year      = {2005},\r
  51   url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10087},\r
  52   isbn      = {0-7695-2266-1},\r
  53   timestamp = {Fri, 21 Nov 2014 14:08:56 +0100},\r
  54   biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lics/2005},\r
  55   bibsource = {dblp computer science bibliography, http://dblp.org}\r
  56 }\r
  57 \r
  58 @inproceedings{DBLP:conf/cade/Gacek08,\r
  59   author    = {Andrew Gacek},\r
  60   title     = {{The} {Abella} {Interactive} {Theorem} {Prover} ({System} {Description})},\r
  61   booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,\r
  62                Sydney, Australia, August 12-15, 2008, Proceedings},\r
  63   pages     = {154--161},\r
  64   year      = {2008},\r
  65   crossref  = {DBLP:conf/cade/2008},\r
  66   url       = {https://doi.org/10.1007/978-3-540-71070-7_13},\r
  67   doi       = {10.1007/978-3-540-71070-7_13},\r
  68   timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},\r
  69   biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cade/Gacek08},\r
  70   bibsource = {dblp computer science bibliography, http://dblp.org}\r
  71 }\r
  72 @proceedings{DBLP:conf/cade/2008,\r
  73   editor    = {Alessandro Armando and\r
  74                Peter Baumgartner and\r
  75                Gilles Dowek},\r
  76   title     = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,\r
  77                Sydney, Australia, August 12-15, 2008, Proceedings},\r
  78   series    = {Lecture Notes in Computer Science},\r
  79   volume    = {5195},\r
  80   publisher = {Springer},\r
  81   year      = {2008},\r
  82   url       = {https://doi.org/10.1007/978-3-540-71070-7},\r
  83   doi       = {10.1007/978-3-540-71070-7},\r
  84   isbn      = {978-3-540-71069-1},\r
  85   timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},\r
  86   biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cade/2008},\r
  87   bibsource = {dblp computer science bibliography, http://dblp.org}\r
  88 }\r