@misc{indiciae6d8b0155e392,
  title = {Polarized Substructural Session Types},
  author = {Griffith, Dennis Edward},
  year = {2016},
  doi = {10.2172/1562827},
  url = {https://www.osti.gov/biblio/1562827},
  note = {Source identifier: 1562827}
}