References

  1. doi:10.2168/lmcs-8(4:4)2012.
  2. doi:10.1145/2808098.2808102.
  3. doi:10.1007/978-1-4471-0963-1.
  4. doi:10.1007/978-3-642-04652-0_5.
  5. doi:10.4230/lipics.types.2014.187.
  6. doi:10.1112/jlms/s2-47.2.193.
  7. doi:10.1007/978-3-642-32347-8_17.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org