 |
 |
|
Intitulé:
Lambda Calculus: The Differential Viewpoint du groupe Graphes et Logique
|
Date | 2012-02-07 11:00-12:00 |
Titre | Lambda 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.
|
Lieu | salle 76 |
Orateur | Giulio Manzonetto |
Email | gmanzone@gmail.com |
Url | LIPN, Université Paris-Nord |
Aucun document lié à cet événement. RetourRetour à l'index
| |