@inproceedings{sangiorgi:hal-01092815,
  TITLE = {{Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract)}},
  AUTHOR = {Sangiorgi, Davide},
  URL = {https://inria.hal.science/hal-01092815},
  NOTE = {Part 1: Invited Contributions},
  BOOKTITLE = {{Coalgebraic Methods in Computer Science}},
  ADDRESS = {Grenoble, France},
  EDITOR = {Marcello M. Bonsangue},
  PUBLISHER = {{Springer}},
  SERIES = {Coalgebraic Methods in Computer Science},
  VOLUME = {LNCS-8446},
  PAGES = {3 - 9},
  YEAR = {2014},
  MONTH = Apr,
  DOI = {10.1007/978-3-662-44124-4\_1},
  PDF = {https://inria.hal.science/hal-01092815/file/main.pdf},
  HAL_ID = {hal-01092815},
  HAL_VERSION = {v1},
}