A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 03B40
Affiner la recherche Interroger des sources externes
Lambda-calcul (DL 1990) / Jean-Louis KRIVINE
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 (fre) 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 . - Masson, DL 1990 . - VIII-176 p.. - (Etudes et recherches en informatique, ISSN 0763-2770) .
ISBN : 978-2-225-82091-5
Langues : Français (fre)
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. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1044 KRI/02/6330 Livre Recherche Salle Disponible Lambda-calculus, combinators, and functional programming (Cop. 1988) / G. E. REVESZ
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 (eng) 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 University Press, Cop. 1988 . - X-181 p.. - (Cambridge tracts in theoretical computer science; 4) .
ISBN : 978-0-521-34589-7
Langues : Anglais (eng)
Catégories : 03B40 Mots-clés : lambda-calcul combinatoire programmation fonctionnelle Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 812 REV/02/6468 Livre Recherche Salle Disponible Logic and computer science (1990) / S. Homer
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 (eng) 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 . - Springer-Verlag, 1990 . - 162 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1429) .
ISBN : 978-3-540-52734-3
Langues : Anglais (eng)
Catégories : 03B20
03B40
03B70
03D15Mots-clés : logique symbolique informatique logique mathématique programmation Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 995 LN 1429 Livre Recherche Salle Disponible The calculi of lambda-conversion (1941) / Alonzo CHURCH
Titre : The calculi of lambda-conversion Type de document : texte imprimé Auteurs : Alonzo CHURCH, Auteur Editeur : Princeton : 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 (eng) 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 University Press, 1941 . - II-82 p.. - (Annals of mathematics studies; 6) .
ISBN : 978-0-691-08394-0
Langues : Anglais (eng)
Catégories : 03B40 Mots-clés : lambda-conversion lambda-calcul Note de contenu : bibliogr. Réservation
Réserver ce document
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