Relational Interpretations of Recursive Types in an Operational Setting - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Lars Birkedal, Robert Harper. Relational Interpretations of Recursive Types in an Operational Setting. Inf. Comput., 155(1-2):3-63, 1999.

@article{BirkedalH99,
  title = {Relational Interpretations of Recursive Types in an Operational Setting},
  author = {Lars Birkedal and Robert Harper},
  year = {1999},
  researchr = {https://researchr.org/publication/BirkedalH99},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {155},
  number = {1-2},
  pages = {3-63},
}

runs on WebDSL