Abstract FR:

La logique lineaire a eu un impact tres important en informatique theorique car elle permet de decomposer les calculs. Dans cette these nous nous interessons a deux modeles pour les calculs derives de la logique lineaire, les reseaux d'interaction et la geometrie de l'interaction. En plus de la decomposition fine du calcul, ces modeles partagent une propension naturelle pour l'execution parallele. Le but de la these a ete precisement d'etudier plusieurs implantations des deux modeles. Grace a la possibilite de compiler des expressions fonctionnelles, on peut ainsi obtenir des mecanismes pour l'evaluation parallele des programmes fonctionnels.