Link from https://gepettoweb.laas.fr/articles/cat.html to https://constraints-as-terminations.github.io