Work for TEP courses, in our case the summary of an article about Linear Dependent Types in Call-by-Value Scenario