Author:
Cvetko-Vah Karin,Sadrzadeh Mehrnoosh,Kartsaklis Dimitri,Blundell Benjamin
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LiCS 2004). IEEE Computer Science Press (2004). arXiv:quant-ph/0402130
2. Berendsen, J., Jansen, D.N., Schmaltz, J., Vaandrager, F.W.: The axiomatization of override and update. J. Appl. Log. 8, 141–150 (2010)
3. Chomsky, N.: Three models for the description of language. IRE Trans. Inf. Theory 2, 113–124 (1956)
4. Coecke, B., Sadrzadeh, M., Clark, S.: Mathematical foundations for distributed compositional model of meaning. Lambek Festschr. Linguist. Anal. 36, 345–384 (2010)
5. Cvetko-Vah, K.: Skew lattices of matrices in rings. Algebra Univers. 53, 471–479 (2005)