Notes de cours Algorithmique avancée - IRIF
Un moyen de prouver des programmes consiste à restreindre l'expressivité du langage de programmation (cf. certaines versions du ?-calcul). Ainsi, la correction ...
Un moyen de prouver des programmes consiste à restreindre l'expressivité du langage de programmation (cf. certaines versions du ?-calcul). Ainsi, la correction ...