Pierre Boudes

Identifiers

• name variant Pierre Boudes 0.60 · backfill

Papers (1)

1. An Abstract Approach to Stratification in Linear Logic cs.LO · 2012 · author #1

Mentions

• 1206.6504 #1 · backfill · confidence 0.70 Pierre Boudes

Frequent Coauthors

• Damiano Mazza 1 shared papers
• Lorenzo Tortora de Falco 1 shared papers