Files for JFP article

The Expressive Power of Higher-order Types

• Postscript
• Latex
• Neil's style file
• JFP style file