BibTeX record journals/corr/abs-2209-02354

• > Home > journals/corr/abs-2209-02354

@inproceedings{DBLP:journals/corr/abs-2209-02354,
  author       = {Alexander R{\o}nning Bendixen and
                  Bjarke Bredow Bojesen and
                  Hans H{\"{u}}ttel and
                  Stian Lasse Lybech},
  editor       = {Valentina Castiglioni and
                  Claudio Antares Mezzina},
  title        = {A Generic Type System for Higher-Order {\(\Psi\)}-calculi},
  booktitle    = {Proceedings Combined 29th International Workshop on Expressiveness
                  in Concurrency and 19th Workshop on Structural Operational Semantics,
                  {EXPRESS/SOS} 2022, Warsaw, Poland, 12th September 2022},
  series       = {{EPTCS}},
  volume       = {368},
  pages        = {43--59},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.368.3},
  doi          = {10.4204/EPTCS.368.3},
  timestamp    = {Sun, 04 Aug 2024 19:45:56 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-02354.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}