http://bengal-ng.missouri.edu/~kvanvigj/certain_doubts/index.php?p=347

(via Lambda tha Ultimate) 8p.目次。 Introduction Calculi for shift and reseet The original λξ-calculus Purity as answer type polymorphism Direct-style transforms On to polarized liner logic Conclusion and related work Acknowledgements http…

15p.目次。 Gentzen's natural deducation Charch's lambda calculus Typed lambda calculus The Curry-Howard correspondence Conclusions http://homepages.inf.ed.ac.uk/wadler/papers/frege/frege.pdf

273p. http://folli.loria.fr/cds/1999/library/pdf/curry-howard.pdf

目次。 $0 Introduction $1 Versions of Epistemic Closure. $2 In favor of closure principle (4). $3 Heavyweight Propositions and Conclusive Reasons. $4 Residual Puzzles.

http://www.missouri.edu/~kvanvigj/papers/Closure%20and%20Contrastive%20Knowledge.pdf http://plato.stanford.edu/entries/logical-constants/

(via logblog) 「形式的である」ということについての歴史。かなりの分量。 http://philosophy.berkeley.edu/macfarlane/diss.html

(via Lambda the Ultimate) http://www.ki.inf.tu-dresden.de/%7Eguglielm/res/pap/PrThFoundLP.pdf