{"_id":"7wTKitELoMDbdYQRA","bibbaseid":"anonymous-edinburghlcf","downloads":0,"creationDate":"2017-03-31T20:02:49.133Z","title":"Edinburgh LCF","author_short":null,"year":null,"bibtype":"misc","biburl":"https://gist.githubusercontent.com/anonymous/181ecd0cddd66bf488ef8f47679cce4b/raw/e0a472e973215ba1a7034861716ba4b9ad9e424f/references.bib","bibdata":{"bibtype":"misc","type":"misc","title":"Edinburgh LCF","author":[{"propositions":[],"lastnames":["Gordon"],"firstnames":["Michael"],"suffixes":[]},{"firstnames":["Robin"],"propositions":[],"lastnames":["Milner"],"suffixes":[]},{"firstnames":["Christopher"],"propositions":[],"lastnames":["Wadsworth"],"suffixes":[]}],"booktitle":"Lecture Notes in Computer Science, volume 78","key":"gordon1979edinburgh","id":"gordon1979edinburgh","bibbaseid":"anonymous-edinburghlcf","role":"author","urls":{},"downloads":0},"search_terms":["edinburgh","lcf"],"keywords":[],"authorIDs":[],"dataSources":["uFEm26mNHCqhWtZaN"]}