A Simple Adequate Categorical Model for PCF

Torben Braüner. A Simple Adequate Categorical Model for PCF. In Philippe de Groote, editor, Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA 97, Nancy, France, April 2-4, 1997, Proceedings. Volume 1210 of Lecture Notes in Computer Science, pages 82-98, Springer, 1997.

@inproceedings{Brauner97:0,
  title = {A Simple Adequate Categorical Model for PCF},
  author = {Torben Braüner},
  year = {1997},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/Brauner97%3A0},
  cites = {0},
  citedby = {0},
  pages = {82-98},
  booktitle = {Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA  97, Nancy, France, April 2-4, 1997, Proceedings},
  editor = {Philippe de Groote},
  volume = {1210},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-62688-3},
}