1. Barker, C., & Shan, C. (2004). Continuations in natural language. In: Proceedings of the fourth ACM SIGPLAN workshop on continuations, Hayo Thielecke (pp. 55–64).
2. Barr, M., & Wells, C. (1999). Category theory for computing science (3rd ed.). Upper Saddle River: Prentice Hall.
3. Bernardy, J.-P., & Chatzikyriakidis, S. (2019). A wide-coverage symbolic natural language inference system. In: Proceedings of the 22nd nordic conference on computational linguistics. ACL.
4. Bernardy, J.-P., Chatzikyriakidis, S., & Maskharashvili, A. (2020). A computational treatment of anaphora and its algorithmic implementation: Extended version. Available on the author’s homepage: https://jyp.github.io/pdf/phoroi.pdf.
5. Boldini, P. (2000). Formalizing contexts in intuitionistic type theory. In Fundamenta Informaticae 4(2).