BibTeX record journals/entcs/HermidaRR14

• > Home > journals/entcs/HermidaRR14

@inproceedings{DBLP:journals/entcs/HermidaRR14,
  author       = {Claudio Hermida and
                  Uday S. Reddy and
                  Edmund P. Robinson},
  editor       = {John Power and
                  Cai Wingfield},
  title        = {Logical Relations and Parametricity - {A} Reynolds Programme for Category
                  Theory and Programming Languages},
  booktitle    = {Proceedings of the Workshop on Algebra, Coalgebra and Topology, {WACT}
                  2013, Bath, UK, March 1, 2013},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {303},
  pages        = {149--180},
  publisher    = {Elsevier},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.entcs.2014.02.008},
  doi          = {10.1016/J.ENTCS.2014.02.008},
  timestamp    = {Tue, 22 Nov 2022 11:43:01 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HermidaRR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}