Add link to Proofs and Types by Girard.