Programmation récursive ? - Pascal Delahaye

Les solutions des exercices proposés dans ce livre sont écrites en OCaml. ... les questions de terminaison et de correction d'une fonction (récursive).