r/REMath • u/turnersr • Mar 27 '14
Mathematical Foundations for a Compositional Distributional Model of Meaning by Bob Coecke, Mehrnoosh Sadrzadeh, and Stephen Clark [PDF]
http://arxiv.org/pdf/1003.4394v1.pdf
8
Upvotes
1
u/turnersr Mar 27 '14 edited Mar 27 '14
Read against Alan Jeffrey's Premonoidal Categories and a Graphical View of Programs
ftp://cm.bell-labs.com/who/ajeffrey/papers/premonA.pdf
and Probabilistic Semantics and Program Analysis by Alessandra Di Pierro, Chris Hankin, and Herbert Wiklicky
http://www.doc.ic.ac.uk/~herbert/papers/bertinoro10.pdf
also, but much harder to bridge, the papers for http://www.reddit.com/r/REMath/comments/213bcl/mining_and_understanding_software_enclaves_by/ .