This topic refers to the course Meaning explanations and dialogues (Klev). Here is a description and a bibliography for addressing it.
Look up the meaning explanations for conjunction, implication, identity and absurdity. Justify the elimination rule for each of these operators on the basis of their meaning explanations.
Here is a list of potential sources to be used for the short presentation:
P. Martin-Loöf, Intuitionistic type theory, Bibliopolis, 1984
A. Klev, "The justification of identity elimination in Martin-Löf's type theory", in Topoi 38, 2019, pp. 577-590