A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
8 résultat(s) recherche sur le mot-clé 'lambda-calcul'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette 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 Domains and Lambda-calculi / Roberto M. AMADIO (Cop. 1998)
Titre : Domains and Lambda-calculi Type de document : texte imprimé Auteurs : Roberto M. AMADIO, Auteur ; Pierre-Louis CURIEN, Auteur Editeur : Cambridge : Cambridge University Press Année de publication : Cop. 1998 Collection : Cambridge tracts in theoretical computer science num. 46 Importance : XVI-484 p. ISBN/ISSN/EAN : 978-0-521-62277-6 Langues : Anglais Mots-clés : modèle algébrique lambda-calcul machine catégorielle abstraite programmation fonctionnelle domaine langage de programmation Note de contenu : index, références Domains and Lambda-calculi [texte imprimé] / Roberto M. AMADIO, Auteur ; Pierre-Louis CURIEN, Auteur . - Cambridge : Cambridge University Press, Cop. 1998 . - XVI-484 p.. - (Cambridge tracts in theoretical computer science; 46) .
ISBN : 978-0-521-62277-6
Langues : Anglais
Mots-clés : modèle algébrique lambda-calcul machine catégorielle abstraite programmation fonctionnelle domaine langage de programmation Note de contenu : index, références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19034 AMA/68/7604 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 Categorical combinators, sequential algorithms, and functional programming / Pierre-Louis CURIEN (Cop. 1993)
Titre : Categorical combinators, sequential algorithms, and functional programming Type de document : texte imprimé Auteurs : Pierre-Louis CURIEN, Auteur Mention d'édition : 2nd ed. Editeur : Boston : Birkhäuser Année de publication : Cop. 1993 Collection : Progress in Theoretical Computer Science Importance : XX-403 p. ISBN/ISSN/EAN : 978-0-8176-3654-8 Langues : Anglais Mots-clés : algorithme séquentiel modèle algébrique langage de programmation lambda-calcul machine catégorielle abstraite programmation fonctionnelle Note de contenu : index, références Categorical combinators, sequential algorithms, and functional programming [texte imprimé] / Pierre-Louis CURIEN, Auteur . - 2nd ed. . - Boston : Birkhäuser, Cop. 1993 . - XX-403 p.. - (Progress in Theoretical Computer Science) .
ISBN : 978-0-8176-3654-8
Langues : Anglais
Mots-clés : algorithme séquentiel modèle algébrique langage de programmation lambda-calcul machine catégorielle abstraite programmation fonctionnelle Note de contenu : index, références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19037 CUR/68/7607 Livre Recherche Salle Disponible Categorie for Types / Roy L. CROLE (Cop. 1993)
PermalinkPrésentations d'opérades et systèmes de réécriture / Yves GUIRAUD (2004)
PermalinkVérification intéractive de démonstrations mathématiques / Georges KIREMITDJIAN (1975)
Permalink