Sciweavers

MFCS
2000
Springer
14 years 4 months ago
Explicit Fusions
We introduce explicit fusions of names. To `fuse' two names is to declare that they may be used interchangeably. An explicit fusion is one that can exist in parallel with som...
Philippa Gardner, Lucian Wischik