SEQUENTIALITY IN AN EXTENSIONAL FRAMEWORK

Authors
BUCCIARELLI A EHRHARD T
Citation
A. Bucciarelli et T. Ehrhard, SEQUENTIALITY IN AN EXTENSIONAL FRAMEWORK, Information and computation, 110(2), 1994, pp. 265-296
Citations number
16
Categorie Soggetti
Information Science & Library Science",Mathematics,"Computer Science Information Systems
Journal title
Information and computation → ACNP
ISSN journal
08905401
Volume
110
Issue
2
Year of publication
1994
Pages
265 - 296
Database
ISI
SICI code
0890-5401(1994)110:2<265:SIAEF>2.0.ZU;2-P
Abstract
We present a cartesian closed category of dl-domains with coherence an d strongly stable functions which provides a new model of PCF, where t erms are interpreted by functions and where, at first order, all funct ions are sequential. We show how this model can be refined in such a w ay that the theory it induces on the terms of PCF be strictly finer th an the theory induced by the Scott model of continuous functions. (C) 1994 Academic Press, Inc.