Développement : Sémantique dénotationelle de PCF

Détails/Enoncé :

On construit la sémantique dénotationelle de PCF, en démontrant la continuité des diverses constructions au fur et à mesure.

Recasages pour l'année 2024 :

  • Pas de recasages pour cette année.

Versions :