Company Search Subscription Service
How to export / download a costume you made in 3.0
Let me just throw this out there.
Moggi, Kripke-style models for typed lambda calculus, Annals of Pure and Applied Logic 51 1991 99—124.