Natural language semantics in biproduct dagger categories

Journal of Applied Logic - Tập 12 - Trang 88-108 - 2014
Anne Preller1
1LIRMM, 161 rue Ada, 34194 Montpellier, France

Tài liệu tham khảo

Abramsky, 2004, A categorical semantics of quantum protocols, 415 Barwise, 2002, 76 van Benthem, 1983, 275 Buszkowski, 2002, Cut elimination for the Lambek calculus of adjoints Clark, 2008, A compositional distributional model of meaning Everett, 2005, Cultural constraints on grammar and cognition in Pirahã, Curr. Anthropol., 46, 10.1086/431525 Heunen, 2010, Quantum logic in dagger kernel categories, Order, 27, 177, 10.1007/s11083-010-9145-5 Kartsaklis, 2013 Lambek, 1993, 207 Lambek, 1999, Type grammar revisited, vol. 1582, 1 Lambek, 2008 Mac Lane, 1971, Categories for the Working Mathematician, vol. 5 Moot, 2011 Preller, 2012, 244 Preller, 2013, From functional to distributional models, 1 Preller, 2007, Free compact 2-categories, Math. Struct. Comput. Sci., 17, 1 Preller, 2008, 53 van Rijsbergen, 2004 Selinger, 2007, Dagger compact closed categories and completely positive maps (extended abstract), 139 Widdows, 2004, Geometry and Meaning, vol. 172