Postdoc Team : APR Sorbonne Université - LIP6 Boîte courrier 169 Couloir 25-26, Étage 3, Bureau 303 4 place Jussieu 75252 PARIS CEDEX 05 FRANCE +33 1 44 27 88 16
Paul.Jeanmaire (at) nulllip6.fr https://perso.lip6.fr/Paul.Jeanmaire/
2026 Publications
2026
T. Bourke, P. Jeanmaire, M. Pouzet : “Une sémantique de Kahn mécanisée pour les machines à états”, JFLA 2026 – 37es Journées Francophones des Langages Applicatifs, vol. JFLA 2026 – 37es Journées Francophones des Langages Applicatifs, Oberbronn, France (2026)