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

DOI10.1016/S0304-3975(01)00160-8zbMath1005.68097MaRDI QIDQ1603387

Dieter Spreen

Publication date: 14 July 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40)

Cites Work

• On functions preserving levels of approximation: A refined model construction for various lambda calculi

This page was built for publication: Corrigendum to ``On functions preserving levels of approximation: A refined model construction for various lambda calculi