The period of Sangam literature was preceded by the Natrinai period, first literary work compiled. It is a book that combines richness with grammatical richness. parables in narrative add beauty to songs abundance and detail. This thesis intended explain how parable, which composed numbers details, makes sense poems. tendency compare one thing another natural characteristic all human beings. op...

This paper presents a rst step in the formalisation of a relational calculus inside a constructive type theoretic framework. The calculus is the one based on allegories, and its formalisation is carried on with the help of a software tool assistant for Martin-LL of's monomorphic type theory. The goal of this eeort is allowing us to import relational calculus inside type theory, and take advanta...