Concepedia

Preservation of termination for explicit substitution

C.J. Bloo

TU/e Research Portal (Eindhoven University of Technology) · 1997 · 75 citations · 0 references

DOIFull text

Open access

Concepts