On confluence and semantic full abstraction of lambda calculus languages. Müller, F. Ph.D. Thesis, Saarland University, Saarbrücken, Germany, 2016.
On confluence and semantic full abstraction of lambda calculus languages. [link]Link  bibtex   
@phdthesis{phd/dnb/Muller16b,
  added-at = {2016-12-20T00:00:00.000+0100},
  author = {Müller, Fritz},
  biburl = {https://www.bibsonomy.org/bibtex/277b26e1c7bc82318f844dda553d5145a/dblp},
  ee = {http://d-nb.info/1122110596},
  interhash = {0d5f91b4b5297d9e55805c9c7a8af57c},
  intrahash = {77b26e1c7bc82318f844dda553d5145a},
  keywords = {dblp},
  school = {Saarland University, Saarbrücken, Germany},
  timestamp = {2016-12-21T12:08:53.000+0100},
  title = {On confluence and semantic full abstraction of lambda calculus languages.},
  year = 2016
}
Downloads: 0