1. Martín Abadi and Luca Cardelli, “A Semantics of Object Types”. Proceedings of the IEEE Symposium on Logic in Computer Science, Paris, 1994. http://lucacardelli.name/Papers/PrimObjSemLICS.A4.pdf
2. _____ “A Theory of Primitive Objects: Untyped and First-Order Systems”. http://lucacardelli.name/Papers/PrimObj1stOrder.pdf
3. Nicholas Asher and Zhaohui Luo, “Formalization of Coercions in Lexical Semantics”. https://semanticsarchive.net/sub2012/AsherZhaoHui.pdf
4. Ash Asudeh and Gianluca Giorgolo, Enriched Meanings: Natural Language Semantics with Category Theory. Oxford, 2020.
5. Jerry T. Ball, “Double R Grammar: The Grammatical Encoding of Referential and Relational Meaning in English”. https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=34c258564f72b6dc6455aeaac6e6be1a4a07d262