Corrigendum to On functions preserving levels of approximation: a refined model construction for various lambda calculi [Theoret. Comput. Sci. 212 (1999) 261-303]

Details

Language :

English

ISSN :

03043975

Volume :

266

Issue :

1

Database :

Supplemental Index

Journal :

Theoretical Computer Science

Publication Type :

Periodical

Accession number :

ejs3117931

Full Text :

https://doi.org/10.1016/S0304-3975(01)00160-8