Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil > Séminaires > Séminaires et Groupes de travail hebdomadaires > Logique et Interactions

Séminaire Logique et Interactions

par Lozingot Eric, Vaux Lionel - publié le , mis à jour le

Agenda

Séminaire

  • Jeudi 28 février 11:00-12:30 - Claudia FAGGIAN - IRIF, Paris 7

    Lambda Calculus and Probabilistic Computation

    Résumé : In order to model higher-order probabilistic computation, a natural approach is to take the lambda calculus as a paradigm, and to enrich it with an operator which models probabilistic choice. The resulting calculus is however not confluent ; such an issue is typically handled in the literature by fixing a deterministic reduction strategy.
    Following [Plotkin75], we wish to preserve the key distinction between a calculus and a programming language. The former defines terms and reduction rules, and satisfy confluence, the latter is specified by a deterministic strategy (an abstract machine). Standardization is what relates the two : the programming language implements the standard strategy associated to the calculus. We propose two probabilistic lambda calculi, based respectively on the call-by-value and call-by-name parameter passing mechanism. The common root of the two calculi is a further calculus based on Linear Logic, which allows us to develop a unified, modular approach.
    (joint work with Simona Ronchi Della Rocca)

    JPEG - 13.7 ko
    Claudia FAGGIAN

    Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
    Site Sud - Bâtiment TPR2
    Campus de Luminy, Case 907
    13288 MARSEILLE Cedex 9

    Exporter cet événement

groupe de travail

Manifestation scientifique

Descriptif
Nature Séminaire et Groupe de travail
Intitulé Logique et interactions
Responsable Lionel Vaux
Équipe de rattachement Logique de la Programmation (LDP) du Groupe Arithmétique Géométrie Logique et Représentations (AGLR, ex-LUM)
Fréquence 1 à 2 séances par mois
Jour-Horaire Jeudi. 11h-12h30
Lieu Luminy, salle des séminaires 304-306 (accès)
Lien http://iml.univ-mrs.fr/ldp/seminaire/

Contact : lionel.vaux_AT_univ-amu.fr