Institut de Mathématiques de Marseille

GROUPES DE TRAVAIL 2014
Logique et Interactions

Organisateur :
Emmanuel Beffara (tél. 04 91 26 96 35)
Lieu : IML, Bâtiment TPR2- CNRS :
Salle de Séminaires : 3ème étage (304-306).
Horaire : en règle générale le jeudi, à 14h.

jeudi 23 janvier

à 14h

Jean-Baptiste Midez
(I2M, Marseille) :
La réduction dans le λ-calcul avec ressources

Webpage : http://iml.univ-mrs.fr/ldp/membres/


 

 

 

 

 

 

 

 


 

EL, le 17 janvier 2014