Focusing and Polarization in Linear, Intuitionistic, and Classical Logics. Liang, C. & Miller, D. Theoretical Computer Science, 410(46):4747–4768, Elsevier, 2009.
doi  bibtex   
@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}
}

Downloads: 0