@article{liang09tcs,
  author = {Chuck Liang and Dale Miller},
  title = {Focusing and Polarization in Linear, Intuitionistic,
                 and Classical Logics},
  year = {2009},
  journal = {Theoretical Computer Science},
  publisher = {Elsevier},
  volume = {410},
  number = {46},
  pages = {4747--4768},
  doi = {10.1016/j.tcs.2009.07.041}
}

{"_id":"y6aTnL5R2z5z957p4","bibbaseid":"liang-miller-focusingandpolarizationinlinearintuitionisticandclassicallogics-2009","author_short":["Liang, C.","Miller, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Chuck"],"propositions":[],"lastnames":["Liang"],"suffixes":[]},{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"Focusing and Polarization in Linear, Intuitionistic, and Classical Logics","year":"2009","journal":"Theoretical Computer Science","publisher":"Elsevier","volume":"410","number":"46","pages":"4747–4768","doi":"10.1016/j.tcs.2009.07.041","bibtex":"@article{liang09tcs,\n author = {Chuck Liang and Dale Miller},\n title = {Focusing and Polarization in Linear, Intuitionistic,\n and Classical Logics},\n year = {2009},\n journal = {Theoretical Computer Science},\n publisher = {Elsevier},\n volume = {410},\n number = {46},\n pages = {4747--4768},\n doi = {10.1016/j.tcs.2009.07.041}\n}\n\n","author_short":["Liang, C.","Miller, D."],"key":"liang09tcs","id":"liang09tcs","bibbaseid":"liang-miller-focusingandpolarizationinlinearintuitionisticandclassicallogics-2009","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["focusing","polarization","linear","intuitionistic","classical","logics","liang","miller"],"title":"Focusing and Polarization in Linear, Intuitionistic, and Classical Logics","year":2009}