BibTeX record journals/corr/abs-2211-12318

download as .bib file

@inproceedings{DBLP:journals/corr/abs-2211-12318,
  author       = {Jason Z. S. Hu and
                  Brigitte Pientka},
  editor       = {Justin Hsu and
                  Christine Tasson},
  title        = {A Categorical Normalization Proof for the Modal Lambda-Calculus},
  booktitle    = {Proceedings of the 38th Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} XXXXVIII, Cornell University, Ithaca,
                  NY, USA, with a satellite event at IRIF, Denis Diderot University,
                  Paris, France, and online, July 11-13, 2022},
  series       = {{EPTICS}},
  volume       = {1},
  publisher    = {EpiSciences},
  year         = {2022},
  url          = {https://doi.org/10.46298/entics.10360},
  doi          = {10.46298/ENTICS.10360},
  timestamp    = {Wed, 24 Jan 2024 17:48:54 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-12318.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}