Confluence en λµ-calcul (1998)

by W Py