A. Tellez-Arenas

Publication Activity (10 Years)

Years Active: 1997-1997
Publications (10 Years): 0

Publications

Gilles Richard, Frédéric Saubion, A. Tellez-Arenas
Intensional Sets Using Explicit Substitutions. ICFP (1997)
Gilles Richard, Frédéric Saubion, A. Tellez-Arenas
Intensional Set Constraints. APPIA-GULP-PRODE (1997)