BibTeX record conf/lics/ColsonE94

download as .bib file

@inproceedings{DBLP:conf/lics/ColsonE94,
  author    = {Lo{\"{\i}}c Colson and
               Thomas Ehrhard},
  title     = {On Strong Stability and Higher-Order Sequentiality},
  booktitle = {{LICS}},
  pages     = {103--108},
  publisher = {{IEEE} Computer Society},
  year      = {1994}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics