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]

Authors

Dieter Spreen

This author has not been identified. Look up 'Dieter Spreen' in Google