2009-01-17 ■ 注文文献 注文文献 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)