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

DOI10.1016/S0304-3975(01)00160-8MaRDI QIDQ1603387zbMATH OpenFDO

Authors Dieter Spreen

Publication date 14 July 2002

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

Full work available at URL https://doi.org/10.1016/S0304-3975(01)00160-8

Mathematics Subject Classification ID

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

Review text

Corrigendum to ibid. 212, No. 1--2, 261--303 (1999; Zbl 0913.68136).

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1603387)