8 de marzo de 2012

LI2012: los slides

(English below)
Los slides de mi presentación Equivalence on propositions and proofs en la semana Quantitative Approaches del evento Logic and Interactions 2012, están en línea.

Han subido prácticamente todos los slides, así que les recomiendo darse una vuelta por aquí. Hubo charlas muy interesantes en dos temas principales: computación cuántica (y modelos de la misma), y modelos semánticos de lógica lineal, con especial énfasis en los modelos de Thomas Ehrhard y el lambda-cálculo diferencial. En especial recomiendo ver los slides de Benoît Valiron (cuando los suban), que propone una extensión del modelo de Completely Positive Maps (CPM) que definió en su tesis doctoral, usando los modelos de Ehrhard.

The slides of my talk Equivalence on propositions and proofs in the Quantitative Approaches week of Logic and Interactions 2012, are online.


They have uploaded almost all the slides, so I recommend to take a look here. There has been very interesting talks, specially in two main topics: quantum computing (and its models), and semantical models of linear logic, with emphasis in Thomas Ehrhard's models and the differential lambda-calculus. In particular I recommend to see Benoît Valiron's slides (when they upload them), who propose an extension to the Completely Positive Maps (CPM) model, as he defined in his PhD thesis, using some machinery from Ehrhard's models.