Proof of Programs with Effect Handlers. (Preuve de Programmes avec Effect Handlers). - Paulo de Vilhena (2022)