いくつか文献紹介があった。
- Yacc is dead.
http://arxiv.org/PS_cache/arxiv/pdf/1010/1010.5023v1.pdf
- Derivatives of Regular Expressions
- 正規表現しちへんげ!まとめ
http://www.kmonos.net/wlog/115.html#_2300101221
- Dexter Kozen. A completeness theorem for Kleene algebras and the algebra of regular events. Infor. and Comput., 110:366-390, May 1994.
http://www.cs.cornell.edu/~kozen/papers/papers_collapsed.htm#0
- Lecture Notes:Introduction to Categorical Logic
http://www.andrew.cmu.edu/user/awodey/catlog/notes/notes2.pdf
書籍
- Logic in Computer Science
- communicating and mobile systems: the pi calculus