Inspired by a recent discovery that the propositional equality between terms can be interpreted as a homotopical path, we have revisited the formulation of the intensional identity type, proposing a new approach based on a entity known as computatio…