Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/gi/SabelSH09,
  author       = {David Sabel and
                  Manfred Schmidt{-}Schau{\ss} and
                  Frederik Harwath},
  editor       = {Stefan Fischer and
                  Erik Maehle and
                  R{\"{u}}diger Reischuk},
  title        = {Reasoning about Contextual Equivalence: From Untyped to Polymorphically
                  Typed Calculi},
  booktitle    = {39. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Im Focus
                  das Leben, {INFORMATIK} 2009, L{\"{u}}beck, Germany, September
                  28 - October 2, 2009, Proceedings},
  series       = {{LNI}},
  volume       = {{P-154}},
  pages        = {2931--2945},
  publisher    = {{GI}},
  year         = {2009},
  url          = {https://dl.gi.de/handle/20.500.12116/31296},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/SabelSH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}