Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
Lambda Calculus: The Differential Viewpoint
du groupe Graphes et Logique

Date 2012-02-07  11:00-12:00
TitreLambda Calculus: The Differential Viewpoint 
RésuméWe survey the central role of lambda calculus in theoretical computer science, with particular interest for its connections with programming languages, logic and category theory. Motivated by the discovery of denotational models of Linear Logic (LL) such as finiteness spaces, where all morphisms can be differentiated, we introduce the differential lambda-calculus which features two ways of applying a function to an argument: the standard one and a linear one, implementing differentiation. This approach allows to generalize Boudol’s resource calculus, in a framework where useful tools from analysis, like the Taylor expansion formula, can be applied. No prerequisites of lambda-calculus are supposed to follow the talk.  
Lieusalle 76 
OrateurGiulio Manzonetto 
Emailgmanzone@gmail.com 
UrlLIPN, Université Paris-Nord 



Aucun document lié à cet événement.

Retour
Retour à l'index