Pierre Hyvernat (IML)

Identifiers

• name variant Pierre Hyvernat (IML) 0.60 · backfill

Papers (3)

1. Synchronous Games, Simulations and lambda-calculus cs.LO · 2009 · author #1
2. Predicate Transformers and Linear Logic, yet another denotational model cs.LO · 2009 · author #1
3. Programming interfaces and basic topology cs.LO · 2009 · author #2

Mentions

• 0905.4066 #1 · backfill · confidence 0.70 Pierre Hyvernat (IML)
• 0905.4063 #2 · backfill · confidence 0.70 Pierre Hyvernat (IML)
• 0905.3998 #1 · backfill · confidence 0.70 Pierre Hyvernat (IML)

Frequent Coauthors

• Peter Hancock 1 shared papers