LIPN)

Identifiers

• name variant LIPN) 0.60 · backfill

Papers (5)

1. A calculus of types in Isbell nuclei cs.LO · 2026 · author #6
2. A Rocq Formalization of Simplicial Lagrange Finite Elements cs.LO · 2026 · author #6
3. Projective metric geometry of tropical nuclei: gap matrices, event loci, and order chambers math.AG · 2026 · author #4
4. Mod\'elisation d'une analyse pragma-linguistique d'un forum de discussion cs.AI · 2010 · author #4
5. Algebraic Elimination of epsilon-transitions cs.SC · 2004 · author #2

Mentions

• 2606.03369 #6 · arxiv_oai · confidence 0.70 LIPN)
• 1008.4310 #4 · backfill · confidence 0.70 LIPN)

Frequent Coauthors

• Thomas Seiller (CNRS 2 shared papers
• CERMICS UMR 9032) 1 shared papers
• Eric Laugerotte (LIFAR) 1 shared papers
• Fran\c{c}ois Cl\'ement (SERENA 1 shared papers
• Gerard Duchamp (LIFAR 1 shared papers
• Goritsa Ninova (UTT 1 shared papers
• Hassan Atifi (UTT) 1 shared papers
• Hatem Hadj Kacem (LIFAR) 1 shared papers
• Houda Mouhcine (TOCCATA 1 shared papers
• JFLI 1 shared papers
• John Terilla 1 shared papers
• John Terilla (CUNY) 1 shared papers
• Juan Luis Gastaldi (D-GESS 1 shared papers
• Juan Luis Gastaldi (D-INFK) 1 shared papers
• Karima Sidoumou (UTT) 1 shared papers
• LIPN 1 shared papers
• Micaela Mayero (TOCCATA 1 shared papers
• Nada Matta (UTT) 1 shared papers
• Samantha Jarvis 1 shared papers
• Samantha Jarvis (CUNY) 1 shared papers