Normal view MARC view ISBD view

Lambda-calcul [] : types et modèles / Jean-Louis Krivine,...

Auteur principal : Krivine, Jean-LouisPublication :Paris, Milan, Barcelone [etc.] : Masson, cop.1990, 53-Mayenne : Impr. FlochDescription : 1 vol. (VIII-176 p.) : couv. ill. en coul. ; 25 cmISBN : 2-225-82091-0.Dewey: 511.3Classification : F.4 ; 03-01, 2000 ; 03-02, 2000 ; 03B40, 2000 ; 03B15, 2000 ; 03B70, 2000 ; 03D60, 2000 ; 68N01, 2000 ; 68Q60, 2000 ; 68Q55, 2000 ; 68-01, 2000 ; 68Q65, 2000Bibliographie: Bibliogr. p. [167]-170. Index.Sujet - Nom d'actualité : Logique symbolique et mathématique ;Logique combinatoire ;Lambda-calcul ;Mathématiques -- Informatique Sujet : Logique combinatoire ;Logique ;Lambda calcul ;Informatique ;LAMBDA CALCUL ;FONCTION RECURSIVE Sujet Catégorie : H-INF.TH
Current location Call number Status Date due Barcode
Centre de recherche en informatique
EM AI CI200-061 Sur demande CRI01294D
Sophia Antipolis
Salle de lecture
EMS 110-C/N 2821 Sur demande EMS01138D

Bibliogr. p. [167]-170. Index

Powered by Koha