参考文献

Chris Barker, Continuations in Natural Language, Fourth ACM-SIGPLAN Continuation Workshop ’04 Venice, Italy, 2004
Chris Barker, Continuations and the Nature of Quantification, Natural Language Semantics 10 (3), 2002, pp.211-242・p. 31
Richard Montague, The Proper Treatment of Quantification in Ordinary English, In R. Thomason, editor, Formal Philosophy: Selected Papers of Richard Montague, 1974, pp. 247-270・p. 23
五十嵐 淳, 直観主義論理とカリー・ハワード同型対応, 工学部専門科目「計算と論理」配布資料, 2015