La réduction des termes à ressources induit une extension conservative de la β-réduction sur les λ-termes
Rémy Cerda
I2M, Aix-Marseille
https://www.i2m.univ-amu.fr/perso/remy.cerda/
Date(s) : 02/03/2023 iCal
11h00 - 12h30
Tout est dans le titre, qu’on aura peut-être le temps de prolonger par : « On a en outre des raisons raisonnables de penser que, contre toute attente, ce résultat n’est plus vrai quand on considère un λ-calcul infinitaire. »
Emplacement
I2M Luminy - Ancienne BU, Salle Séminaire2 (RdC)
Catégories
