Livres — proofs

EN
La voie Haskell vers la logique, les mathématiques et la programmation

La voie Haskell vers la logique, les mathématiques et la programmation

A

Kees Doets, Jan van Eijck

Langages de programmation