Games and Full Abstraction for a Functional Metalanguage with Recursive Types

@inproceedings{McCusker1998GamesAF,
  title={Games and Full Abstraction for a Functional Metalanguage with Recursive Types},
  author={BA Hons Guy McCusker},
  booktitle={Distinguished Dissertations},
  year={1998}
}
Change your habit to hang or waste the time to only chat with your friends. It is done by your everyday, don't you feel bored? Now, we will show you the new habit that, actually it's a very old habit to do that can make your life more qualified. When feeling bored of always chatting with your friends all free time, you can find the book enPDF games and full abstraction for a functional metalanguage with recursive types and then read it. 
Highly Influential
This paper has highly influenced 17 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS