Travelled to:
1 × The Netherlands
Collaborated with:
G.Richard F.Saubion
Talks about:
substitut (1) intension (1) explicit (1) use (1) set (1)
Person: A. Tellez-Arenas
DBLP: Tellez-Arenas:A=
Contributed to:
Wrote 1 papers:
- ICFP-1997-RichardST #set #using
- Intensional Sets Using Explicit Substitutions (GR, FS, ATA), p. 318.