Séminaire des Doctorants et Doctorantes

Réécriture et présentations cohérentes

par Clément Alleaume (ICJ, Saint-Etienne)

Europe/Paris
salle Fokko du Cloux (ICJ, Lyon 1, bâtiment Braconnier)

salle Fokko du Cloux

ICJ, Lyon 1, bâtiment Braconnier

Description
La réécriture est une théorie orientée du calcul dans laquelle on voit les relations entre expressions mathématiques comme des règles de réduction. Une telle théorie trouve des applications algébriques pour trouver des règles de cohérence : on cherche des relations entre des relations ! Notre but sera de donner une porte d'entrée sur la réécriture et ce type d'application pour permettre à tous de s'amuser à calculer sur des calculs.