4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2023
On the Definition of the Eta-long Normal Form in Type Systems of the Cube
Gilles Dowek, Gérard Huet, Benjamin Werner
The smallest transitive relation < on well-typed normal terms such that if t is a strict subterm of u then t < u and if T is the normal form of the type of t and the term t is not…
cs.CL2020★ 4 cited
Validation and Normalization of DCS corpus using Sanskrit Heritage tools to build a tagged Gold Corpus
Sriram Krishnan, Amba Kulkarni, Gérard Huet
The Digital Corpus of Sanskrit records around 650,000 sentences along with their morphological and lexical tagging. But inconsistencies in morphological analysis, and in providing…