Skip to content

Intensional Sets Using Explicit Substitutions.

Gilles Richard, Frdric Saubion, A. Tellez-Arenas

VenueAICFP
Year1997
ProceedingsICFP

Browse the full ICFP paper archive.