Krivine's book in Engl?

• To: types@uk.ac.glasgow.dcs
• Subject: Krivine's book in Engl?
• From: J Roger Hindley <J.R.Hindley@uk.ac.swansea>
• Date: Wed, 29 Jun 94 09:03:26 BST
• Approved: types@dcs.gla.ac.uk

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

• Prev: in which models of untyped lambda calculus are terms with no whnf
• Next: Re: in which models of untyped lambda calculus are terms with no whnf
• Index(es):
  • Main
  • Thread