Games and full abstraction for a functional metalanguage with recursive types - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Guy McCusker. Games and full abstraction for a functional metalanguage with recursive types. CPHC/BCS distinguished dissertations, Springer, 1998.

@book{0094282,
  title = {Games and full abstraction for a functional metalanguage with recursive types},
  author = {Guy McCusker},
  year = {1998},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/0094282},
  cites = {0},
  citedby = {0},
  series = {CPHC/BCS distinguished dissertations},
  publisher = {Springer},
  isbn = {978-3-540-76255-3},
}

runs on WebDSL