Vincent Rahli (ULTRA)

Identifiers

• name variant Vincent Rahli (ULTRA) 0.60 · backfill

Papers (2)

1. Realisability Semantics for Intersection Types and Expansion Variables math.LO · 2009 · author #3
2. A complete realisability semantics for intersection types and arbitrary expansion variables math.LO · 2009 · author #3

Mentions

• 0905.2120 #3 · backfill · confidence 0.70 Vincent Rahli (ULTRA)
• 0905.1566 #3 · backfill · confidence 0.70 Vincent Rahli (ULTRA)

Frequent Coauthors

• Fairouz Kamareddine (ULTRA) 2 shared papers
• J. B. Wells 2 shared papers
• Karim Nour (LAMA) 2 shared papers