(no commit message)

diff --git a/schedule_of_topics.mdwn b/schedule_of_topics.mdwn
index f8e054e..c9d7590 100644 (file)
--- a/schedule_of_topics.mdwn
+++ b/schedule_of_topics.mdwn
@@ -51,9 +51,9 @@ This is very sketchy at this point, but it should give a sense of our intended s
 10.    [Phil/ling application] inner/outer domain semantics for positive free logic
        <!-- <http://philosophy.ucdavis.edu/antonelli/papers/pegasus-JPL.pdf> -->
 
 10.    [Phil/ling application] inner/outer domain semantics for positive free logic
        <!-- <http://philosophy.ucdavis.edu/antonelli/papers/pegasus-JPL.pdf> -->
 

-11.    [Phil/ling application] King vs Schiffer in King 2007, pp 103ff.
+11.    [Phil/ling application] King vs Schiffer in King 2007, pp 103ff. [which paper?](http://rci.rutgers.edu/~jeffreck/pub.php)

 12. [Phil/ling application] King and Pryor on that clauses, predicates vs singular property-designators
 12. [Phil/ling application] King and Pryor on that clauses, predicates vs singular property-designators

-13.    Possible excursion: Frege's "On Concept and Object"
+13.    Possible excursion: [Frege's "On Concept and Object"](http://www.persiangig.com/pages/download/?dl=http://sahmir.persiangig.com/document/Frege%27s%20Articles/On%20Concept%20And%20object%20%28Jstore%29.pdf)

 
 14.    Curry-Howard isomorphism between simply-typed lambda and intuitionistic propositional logic
 
 
 14.    Curry-Howard isomorphism between simply-typed lambda and intuitionistic propositional logic
 


@@ -62,9 +62,9 @@ This is very sketchy at this point, but it should give a sense of our intended s
 17.    [Phil/ling application] Expletives
 
 18.    Some references: 
 17.    [Phil/ling application] Expletives
 
 18.    Some references: 

-       *       de Groote on the lambda-mu calculus in linguistics
+       *       [de Groote on the lambda-mu calculus in linguistics](http://www.loria.fr/%7Edegroote/papers/amsterdam01.pdf)

        *       on donkey anaphora and continuations
        *       on donkey anaphora and continuations

-       *       Wadler on symmetric sequent calculi
+       *       [Wadler on symmetric sequent calculi](http://homepages.inf.ed.ac.uk/wadler/papers/dual-reloaded/dual-reloaded.pdf)

 
 19.    Dependent types
 
 
 19.    Dependent types
 


@@ -80,7 +80,7 @@ This is very sketchy at this point, but it should give a sense of our intended s
 7.     Montague / Ben-avi and Winter,  [A modular approach to intensionality](http://citeseerx.ist.psu.edu/viewdocsummary?doi=10.1.1.73.6927)
 
 8.     Passing by reference
 7.     Montague / Ben-avi and Winter,  [A modular approach to intensionality](http://citeseerx.ist.psu.edu/viewdocsummary?doi=10.1.1.73.6927)
 
 8.     Passing by reference

-9.     [Phil/ling application] Fine and Pryor on "coordinated contents" (see, e.g., [Hyper-Evaluativity](http://www.jimpryor.net/research/papers/Hyper-Evaluativity.txt)
+9.     [Phil/ling application] Fine and Pryor on "coordinated contents" (see, e.g., [Hyper-Evaluativity](http://www.jimpryor.net/research/papers/Hyper-Evaluativity.txt))

 
 ## Continuations (continued) ##
 
 
 ## Continuations (continued) ##
 


@@ -88,8 +88,7 @@ This is very sketchy at this point, but it should give a sense of our intended s
 2.     Using CPS to do other handy things, e.g., coroutines
 3.     Making evaluation order explicit with continuations (could also be done earlier, but I think will be helpful to do after we've encountered mutation)
 4.     Delimited (quantifier scope) vs undelimited (expressives, presupposition) continuations
 2.     Using CPS to do other handy things, e.g., coroutines
 3.     Making evaluation order explicit with continuations (could also be done earlier, but I think will be helpful to do after we've encountered mutation)
 4.     Delimited (quantifier scope) vs undelimited (expressives, presupposition) continuations

-5.     [Phil/ling application] Barker/Shan on donkey anaphora
-
+5.     [Phil/ling application] [Barker/Shan on donkey anaphora](http://dx.doi.org/10.3765/sp.1.1)

 
 ## Preemptively parallel computing and linear logic ##
 
 
 ## Preemptively parallel computing and linear logic ##