Dependent Types and Fibred Computational Effects
scientific article