References
doi:
10.2168/lmcs-8(4:4)2012
.
doi:
10.1145/2808098.2808102
.
doi:
10.1007/978-1-4471-0963-1
.
doi:
10.1007/978-3-642-04652-0_5
.
doi:
10.4230/lipics.types.2014.187
.
doi:
10.1112/jlms/s2-47.2.193
.
doi:
10.1007/978-3-642-32347-8_17
.
Comments and questions to:
eptcs@eptcs.org
For website issues:
webmaster@eptcs.org