From 9dc2c0a0d860f14aadf6dcddd86cd58f04c00d3e Mon Sep 17 00:00:00 2001 From: barker Date: Mon, 23 Aug 2010 20:08:14 -0400 Subject: [PATCH] --- schedule_of_topics.mdwn | 1 - 1 file changed, 1 deletion(-) diff --git a/schedule_of_topics.mdwn b/schedule_of_topics.mdwn index bc7ec867..bc3e689d 100644 --- a/schedule_of_topics.mdwn +++ b/schedule_of_topics.mdwn @@ -64,7 +64,6 @@ This is very sketchy at this point, but it should give a sense of our intended s 18. Some references: * [de Groote on the lambda-mu calculus in linguistics](http://www.loria.fr/%7Edegroote/papers/amsterdam01.pdf) * [on donkey anaphora and continuations](http://dx.doi.org/10.3765/sp.1.1) - * on donkey anaphora and continuations * [Wadler on symmetric sequent calculi](http://homepages.inf.ed.ac.uk/wadler/papers/dual-reloaded/dual-reloaded.pdf) 19. Dependent types -- 2.11.0