@misc{indiciae033c746d0698,
  title = {Proceedings 7th International Workshop on Developments of Computational Methods},
  author = {Elham Kashefi and Jean Krivine and Femke van Raamsdonk},
  year = {2012},
  doi = {10.4204/eptcs.88},
  url = {https://arxiv.org/abs/1207.6821},
  note = {Source identifier: 1207.6821}
}