In the Proof Theory Seminars series, I will give a talk on Adgrams: categories and linguistics.
The seminar will take place in MALL 2, School of Mathematics, University of Leeds, at 3:00 pm, 26th October 2011.
In this talk, I will illustrate the formal model behind the work on structural linguistics I developed in cooperation with Dr. F. Gobbo. I will also introduce some ideas on how to apply those findings in the description of structural properties of mathematical theories.