5

This is just a long comment (too many words to fit in a comment box). Gérard Huet is, among other things, an expert in $\lambda$-calculus who worked worked a lot on the computational processing of Sanskrit, including its phonological aspects. I remember him once giving a talk in Marseilles entitled Des Lambdas et des Aums ("Lambdas and Oms") but ...


Only top voted, non community-wiki answers of a minimum length are eligible