Validation and Normalization of DCS corpus using Sanskrit Heritage tools to build a tagged Gold Corpus. - Sriram Krishnan; Amba P. Kulkarni; Gérard Huet (CoRR, 2020)

On the Definition of the Eta-long Normal Form in Type Systems of the Cube. - Gilles Dowek; Gérard Huet; Benjamin Werner (CoRR, 2023)

Normalized dataset for Sanskrit word segmentation and morphological parsing. - Sriram Krishnan; Amba Kulkarni; Gérard Huet (Lang. Resour. Evaluation, 2025)