Details of the English translation of Krivine's types- book are: "Lambda-Calculus, Types and Models", by J. L. Krivine, trans. by Rene Cori, publ. 1993 by Ellis-Horwood (now amalgamated with Prentice-Hall), price U.S.$ 67.95 or U.K.pounds 39.95, ISBN 0-13-062407-1.