Christophe Raffalli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1993–2010
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | FIT | MathAbs: a representational language for mathematics. | Muhammad Humayoun, Christophe Raffalli |
| 2003 | LICS | System ST \beta-reduction and completeness. | Christophe Raffalli |
| 1993 | CSL | Data Types, Infinity and Equality in System AF | Christophe Raffalli |