Full abstraction, totality and PCF - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Gordon D. Plotkin. Full abstraction, totality and PCF. Mathematical Structures in Computer Science, 9(1):1-20, 1999.

@article{Plotkin99,
  title = {Full abstraction, totality and PCF},
  author = {Gordon D. Plotkin},
  year = {1999},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/Plotkin99},
  cites = {0},
  citedby = {0},
  journal = {Mathematical Structures in Computer Science},
  volume = {9},
  number = {1},
  pages = {1-20},
}

runs on WebDSL