Towards a Higher-Order Mathematical Operational Semantics (bibtex)

by Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas and Henning Urbat

Reference:

Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas and Henning Urbat: Towards a Higher-Order Mathematical Operational Semantics, In In 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023), 2023.

Bibtex Entry:

@Article{         GoncharovMiliusEtAl23,
  author        = {Sergey Goncharov and Stefan Milius and Lutz Schr{\"{o}}der
                  and Stelios Tsampas and Henning Urbat},
  title         = {Towards a Higher-Order Mathematical Operational
                  Semantics},
  journal       = {In 50th {ACM} {SIGPLAN} Symposium on Principles of
                  Programming Languages {(POPL 2023)}},
  novolume      = {7},
  nonumber      = {{POPL}},
  year          = {2023}
}