- A.S. Troelstra Lectures on Linear Logic, CSLI Publications, CSLI Lecture Notes, no. 29, 1992
- J. Roger Hindley Basic Simple Type Theory, Cambridge University Press, Cambridge Tracts in Theoretical Computer Science, no. 42, 2008 (Hardback Edition First Published in 1997)
ちょっとしんどいので寝ます。
おやすみなさい。