1. Glue Semantics for Proof TheoristsValeria de Paiva Nuance Communications, CA, USA Abstract Proof Theory – April, 2013 2. IntroductionGlue Semantics Glue in ActionIntroductionThis…
