augmented english translation of the above (1993)

by J L Krivine, types Lambda-calculus, Ellis-Horwood models