A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
Affiner la recherche Interroger des sources externes
Lambda-calcul / Jean-Louis KRIVINE (DL 1990)
Titre : Lambda-calcul : types et modèles Type de document : texte imprimé Auteurs : Jean-Louis KRIVINE, Auteur Editeur : Paris : Masson Année de publication : DL 1990 Collection : Etudes et recherches en informatique, ISSN 0763-2770 Importance : VIII-176 p. ISBN/ISSN/EAN : 978-2-225-82091-5 Langues : Français Catégories : 03B40 Mots-clés : lambda-calcul arithmétique fonctionnelle logique combinatoire théorème de Bohm correspondance de Curry-Howard Note de contenu : index, notation, bibliogr. Lambda-calcul : types et modèles [texte imprimé] / Jean-Louis KRIVINE, Auteur . - Paris : Masson, DL 1990 . - VIII-176 p.. - (Etudes et recherches en informatique, ISSN 0763-2770) .
ISBN : 978-2-225-82091-5
Langues : Français
Catégories : 03B40 Mots-clés : lambda-calcul arithmétique fonctionnelle logique combinatoire théorème de Bohm correspondance de Curry-Howard Note de contenu : index, notation, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1044 KRI/02/6330 Livre Recherche Salle Disponible Lambda-calculus, combinators, and functional programming / G. E. REVESZ (Cop. 1988)
Titre : Lambda-calculus, combinators, and functional programming Type de document : texte imprimé Auteurs : G. E. REVESZ, Auteur Editeur : Cambridge : Cambridge University Press Année de publication : Cop. 1988 Collection : Cambridge tracts in theoretical computer science num. 4 Importance : X-181 p. ISBN/ISSN/EAN : 978-0-521-34589-7 Langues : Anglais Catégories : 03B40 Mots-clés : lambda-calcul combinatoire programmation fonctionnelle Note de contenu : références Lambda-calculus, combinators, and functional programming [texte imprimé] / G. E. REVESZ, Auteur . - Cambridge : Cambridge University Press, Cop. 1988 . - X-181 p.. - (Cambridge tracts in theoretical computer science; 4) .
ISBN : 978-0-521-34589-7
Langues : Anglais
Catégories : 03B40 Mots-clés : lambda-calcul combinatoire programmation fonctionnelle Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 812 REV/02/6468 Livre Recherche Salle Disponible Logic and computer science / S. Homer (1990)
Titre : Logic and computer science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 Type de document : séminaire Auteurs : S. Homer, Auteur ; Anil NERODE, Auteur ; R. A. Platek, Auteur ; Gerald E. SACKS, Auteur ; P. ODIFREDDI, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1990 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1429 Importance : 162 p. ISBN/ISSN/EAN : 978-3-540-52734-3 Langues : Anglais Catégories : 03B20
03B40
03B70
03D15Mots-clés : logique symbolique informatique logique mathématique programmation Note de contenu : références Logic and computer science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 [séminaire] / S. Homer, Auteur ; Anil NERODE, Auteur ; R. A. Platek, Auteur ; Gerald E. SACKS, Auteur ; P. ODIFREDDI, Auteur . - Berlin : Springer-Verlag, 1990 . - 162 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1429) .
ISBN : 978-3-540-52734-3
Langues : Anglais
Catégories : 03B20
03B40
03B70
03D15Mots-clés : logique symbolique informatique logique mathématique programmation Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 995 LN 1429 Livre Recherche Salle Disponible The calculi of lambda-conversion / Alonzo CHURCH (1941)
Titre : The calculi of lambda-conversion Type de document : texte imprimé Auteurs : Alonzo CHURCH, Auteur Editeur : Princeton (N.J.) : Princeton University Press Année de publication : 1941 Collection : Annals of mathematics studies num. 6 Importance : II-82 p. ISBN/ISSN/EAN : 978-0-691-08394-0 Langues : Anglais Catégories : 03B40 Mots-clés : lambda-conversion lambda-calcul Note de contenu : bibliogr. The calculi of lambda-conversion [texte imprimé] / Alonzo CHURCH, Auteur . - Princeton (N.J.) : Princeton University Press, 1941 . - II-82 p.. - (Annals of mathematics studies; 6) .
ISBN : 978-0-691-08394-0
Langues : Anglais
Catégories : 03B40 Mots-clés : lambda-conversion lambda-calcul Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5479 CHU/02/P 6 Livre Recherche Salle Disponible 19832 CHU/02/ST 6 Livre Recherche Salle Disponible