Corrigendum to On functions preserving levels of approximation: a refined model construction for various lambda calculi

Dieter Spreen. Corrigendum to On functions preserving levels of approximation: a refined model construction for various lambda calculi . Theoretical Computer Science, 266(1-2):997-998, 2001. [doi]

Abstract

Abstract is missing.