Make the following text more neutral:
jean gallier's excellent tutorial on constructive logic and typed lambda-calculi, ftp://ftp.cis.upenn.edu/pub/papers/gallier/conslog1.ps.
jean gallier's tutorial on constructive logic and typed lambda-calculi, ftp://ftp.cis.upenn.edu/pub/papers/gallier/conslog1.ps.