Publications of Gérard Huet

[118] Gérard Huet. Design of a Sanskrit Reader Assistant. To appear, Sanskrit in China International Conference, Chengdu, 2019. [117] Gérard Huet. Sanskrit lexicography, past and future. in Research on the Language and Script in Buddhist Sutras, ed. Pr Li Wei. Hangzhou Buddhist Academy, to appear, 2019. [116] Gérard Huet. Comprendre le Sanskrit : de la Grammaire de Pāṇini aux Machines d'Eilenberg. To appear, Odile Jacob, 2019. [115] Gérard Huet and Amba Kulkarni, eds. Computational Sanskrit and Digital Humanities. DK Publishers, Delhi, 2018. [114] Gérard Huet and Idir Lankri. Preliminary Design of a Sanskrit Corpus Manager. 17th World Sanskrit Conference, Vancouver, July 2018. Available electronically as pdf. Final version in [115]. [113] Gérard Huet. Le sanskrit et les mathématiques. Maths Langages Express, Comité international des jeux mathématiques, Paris, Mai 2017. Available electronically as pdf. [112] Gérard Huet. Sanskrit signs and Pāṇinian scripts. 16th World Sanskrit Conference, Bangkok, July 2015. Available electronically as pdf. Final version in Sanskrit and Computational Linguistics, ed. Amba Kulkarni, D.K. Publishers, New Delhi, India, 2016, pp 53-76. [111] Pawan Goyal and Gérard Huet. Design and analysis of a lean interface for Sanskrit corpus annotation. Extended version of [107]. Journal of Linguistic Modeling, Vol 4, No 2, 2016. [110] Gérard Huet. Fondements de l'informatique, à la croisée des mathématiques, de la logique et de la linguistique. Colloque sur l'enseignement philosophique et les sciences, Fondation Simone et Cino Del Duca, 13 novembre 2013. Available electronically as docx. [109] Gérard Huet and Pawan Goyal. Design of a lean interface for Sanskrit corpus annotation. Proceedings, ICON13, Hyderabad December 2013. Available electronically as pdf. [108] Gérard Huet and Benoît Razet. Computing with Relational Machines. Mathematical Structures in Computer Science, special issue in honor of Corrado Böhm, October 2015. Available electronically as pdf. Final version at Cambridge University Press. [107] Pawan Goyal and Gérard Huet. Completeness Analysis of a Sanskrit Reader. Proceedings of the Fifth International Symposium on Sanskrit Computational Linguistics, Mumbai, January 2013. Available electronically as pdf. Final version in "Recent Researches in Sanskrit Computational Linguistics", Ed. Malhar Kulkarni and Chaitali Dangarikar, D.K. Printworld, 2013. [106] Pawan Goyal and Gérard Huet and Amba Kulkarni and Peter Scharf and Ralph Bunker. A Distributed Platform for Sanskrit Processing. 24th International Conference on Computational Linguistics, Mumbai, December 2012. Available electronically at aclweb.

**Thirty Five Years of Automating Mathematics**, ed. Fairouz Kamareddine, Kluwer 2003. Available electronically as pdf.

**15**(4) pp. 573-614, 2005. Preliminary version available electronically as postscript or pdf.

**7**(5), Sept 1997, pp. 549-554. Available as pdf file.

**Proof, Language and Interaction - Essays in Honour of Robin Milner**. Eds. Gordon Plotkin, Colin Stirling and Mads Tofte, MIT Press, 2000.

**Theoretical Computer Science**in memory of Gift Siromoney, Ed. R. Narasimhan, World Scientific Publishing, 1989. Available electronically as pdf.

**Logical Foundations of Functional Programming**, Addison-Wesley, 1989.

**Logic Colloquium 1985**, North-Holland, 1987.

**Fundamentals in Artificial Intelligence**, Eds. W. Bibel and Ph. Jorrand, Springer-Verlag Lecture Notes in Computer Science vol. 232 (1986) 39-74. Also Rapport de Recherche Inria no 513, Avril 86. Final version in next entry.

**Logical Foundations of Functional Programming**, Addison-Wesley, 1989.

**Interactive Programming Environments**. Eds. Barstow D., Shrobe H. and Sandewall E., McGraw Hill, 1984, pp. 128-140.

**Progress in Artificial Intelligence**, Eds. L. Steels and J.A. Campbell, Ellis Horwood 1985.

**Formal Languages: Perspectives and Open Problems**, Ed. Book R., Academic Press, 1980, pp. 349-405.