Pragmatic Side Effects
Files
-
The state of my proof-of-concept prototype as of my presentation at Redraw 2015. It treats quantification and anaphora (as in de Groote’s type-theoretic dynamic logic), presupposition, as in Lebedeva’s dissertation (presupposition filtering not included), alongside with a treatment of the binding problem.
Feeding this file through Eff produces the logical representations of the small suite of examples. One can also load the library in the Eff toplevel (REPL) and play around with their examples from the grammar.
NB: The semantic representations are output in s-expression notation which isn’t nice to read. The use of some pretty-printer is recommended.
-
Same as above, but this theory is simplified by not ostentatiously treating extraction as an effect and using the traditional treatment instead.
-
The abstract of my talk, as submitted to Redraw 2015.
-
Slides for my presentation given at Redraw 2015.