jump to search box

Lambda-calcul types et modèles / Jean-Louis Krivine.

Availability

At the Library

Other libraries

Author/Creator:
Krivine, J. L. (Jean Louis)
Language:
French.
Publication date:
1990
Imprint:
Paris : Masson, 1990.
Format:
  • Book
  • viii, 176 p. ; 25 cm.
Bibliography:
Includes bibliographical references (p. [167]-170) and index.
Note:
Level3record.
Available in another form:
Online version: Krivine, J.L. (Jean Louis) Lambda-calcul types et modèles. Paris : Masson, 1990 (OCoLC)622262842
Series:
Etudes et recherches en informatique, 0763-2770
Etudes et recherches en informatique.
Subjects:
ISBN:
2225820910
9782225820915

powered by Blacklight
© Stanford University. Stanford, California 94305. (650) 725-1064. Terms of Use | Copyright Complaints | Opt Out of Analytics
jump to top