Neal Glew: A Theory of Second-Order Trees. ESOP 2002: 147-161