[Prev][Next][Index][Thread]

Krivine's book in Engl?





Does anyone know if there is an English translation
published of Krivine's excellent book "Lambda-calcul,
Types et Modeles" (Masson, Paris, 1990)? I heard a rumour
that one is out but don't know Krivine's e-address.

Roger Hindley,  j.r.hindley@swansea.ac.uk