コホモロジーとかGoIとか

バエズのセミナー、以下のURLからいろいろとリンクされている。

• http://math.ucr.edu/home/baez/qg-spring2007/qg-spring2007.html

以下のGoI関係も面白そう。

• Title: Towards a Typed Geometry of Interaction
• Authors: Esfandiar Haghverdi1 and Philip J. Scott2
• URL: http://www.site.uottawa.ca/~phil/papers/csl05-104.pdf
• Pages: 16

• Title: Geometry of Recursion (January 15, 2007)
• Author: Esfandiar Haghverdi
• URL: http://www.cse.unsw.edu.au/~rvg/ICALP/submission_6.pdf
• Pages: 15

• Title: Proofs as Polynomials
• Author: Esfandiar Haghverdi1, Philip J. Scott
• URL: https://ocics.site.uottawa.ca/~phil/papers/MFPS-ENTCS4.pdf
• Pages: 20

だが、気力／余裕がない。