@misc{indiciaea6678dd1f83c,
  title = {Encoding Phases using Commutativity and Non-commutativity in a Logical Framework},
  author = {Maxime Amblard},
  year = {2011},
  url = {https://arxiv.org/abs/1108.5027},
  note = {Source identifier: 1108.5027}
}