1. Abramsky, S., and A. Brandenburger, The sheaf-theoretic structure of nonlocality and contextuality, Arxiv preprint arXiv:1102.0264, 2011.
2. Barendregt, H. P., Lambda calculi with types, in S. Abramsky, D. Gabbay, and T. Maibaum, (eds.), Handbook of logic in computer science, vol. 2, Oxford University Press, 1992, pp. 117–309.
3. Barrett J., Linden N., Massar S., Pironio S., Popescu S., Roberts D. (2005) Nonlocal correlations as an information-theoretic resource. Physical Review A 71(2): 22101
4. Bell J. S. (1964) On the Einstein-Podolsky-Rosen paradox. Physics 1(3): 195–200
5. Brandenburger, A., and H. J. Keisler, Observable implications of unobservable variables, 2010. Available at http://pages.stern.nyu.edu/abranden/oiuv-06-22-10.pdf .