On confluence and semantic full abstraction of lambda calculus languages. Müller, F. Ph.D. Thesis, Saarland University, Saarbrücken, Germany, 2016. 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
{"_id":"srQAGJoiLGNFDoZ9J","bibbaseid":"mller-onconfluenceandsemanticfullabstractionoflambdacalculuslanguages-2016","authorIDs":[],"author_short":["Müller, F."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","added-at":"2016-12-20T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Müller"],"firstnames":["Fritz"],"suffixes":[]}],"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","bibtex":"@phdthesis{phd/dnb/Muller16b,\n added-at = {2016-12-20T00:00:00.000+0100},\n author = {Müller, Fritz},\n biburl = {https://www.bibsonomy.org/bibtex/277b26e1c7bc82318f844dda553d5145a/dblp},\n ee = {http://d-nb.info/1122110596},\n interhash = {0d5f91b4b5297d9e55805c9c7a8af57c},\n intrahash = {77b26e1c7bc82318f844dda553d5145a},\n keywords = {dblp},\n school = {Saarland University, Saarbrücken, Germany},\n timestamp = {2016-12-21T12:08:53.000+0100},\n title = {On confluence and semantic full abstraction of lambda calculus languages.},\n year = 2016\n}\n\n","author_short":["Müller, F."],"key":"phd/dnb/Muller16b","id":"phd/dnb/Muller16b","bibbaseid":"mller-onconfluenceandsemanticfullabstractionoflambdacalculuslanguages-2016","role":"author","urls":{"Link":"http://d-nb.info/1122110596"},"keyword":["dblp"],"downloads":0},"bibtype":"phdthesis","biburl":"http://www.bibsonomy.org/bib/author/fritz?items=1000","creationDate":"2019-07-04T22:53:30.411Z","downloads":0,"keywords":["dblp"],"search_terms":["confluence","semantic","full","abstraction","lambda","calculus","languages","müller"],"title":"On confluence and semantic full abstraction of lambda calculus languages.","year":2016,"dataSources":["P8qTtTCTHaCFodAoX"]}