Lambda-calcul

Thème :Lambda-calcul
Origine :RAMEAU - Notice originale
Domaines :Mathématiques
Autre forme du thème :Calcul lambda

Documents sur ce thème

Livres39 documents

  • Lambda-calcul

    types et modèles

    Description matérielle : VIII-176 p.
    Description : Note : Bibliogr. p. 167-170. Index
    Édition : Paris ; Milan ; Barcelone : Masson , 1990
    Auteur du texte : Jean-Louis Krivine

    disponible en Haut de Jardin

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb35091743c]
  • A bibliography of Lambda-calculi, combinatory logics and related topics

    Description matérielle : I-86 p.
    Édition : Amsterdam : Mathematisch centrum , 1982
    Auteur du texte : Adrian Rezus

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb37366429c]
  • Categorical combinators, sequential algorithms and functional programming

    2nd ed.
    Description matérielle : XX-403 p.
    Description : Note : Bibliogr. p. 381-394. Index
    Édition : Basel ; Boston : Birkhäuser , cop. 1993
    Auteur du texte : Pierre-Louis Curien

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb37443526n]
  • Categories for types

    Description matérielle : XVII-335 p.
    Description : Note : Bibliogr. p. 315-319. Index
    Édition : Cambridge : Cambridge university press , 1993
    Auteur du texte : Roy L. Crole

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb374363943]
  • Derivation and computation

    taking the Curry-Howard correspondence seriously

    Description matérielle : XXV-384 p.
    Description : Note : Bibliogr p. 375-376. Index. Exercices avec solutions.
    Édition : Cambridge ; New York : Cambridge university press , 2000
    Auteur du texte : Harold Simmons

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb37741427r]

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier