DEGREES OF PARALLELISM IN THE CONTINUOUS TYPE HIERARCHY

Authors
BUCCIARELLI A
Citation
A. Bucciarelli, DEGREES OF PARALLELISM IN THE CONTINUOUS TYPE HIERARCHY, Theoretical computer science, 177(1), 1997, pp. 59-71
Citations number
6
Categorie Soggetti
Computer Sciences","Computer Science Theory & Methods
Journal title
Theoretical computer science → ACNP
ISSN journal
03043975
Volume
177
Issue
1
Year of publication
1997
Pages
59 - 71
Database
ISI
SICI code
0304-3975(1997)177:1<59:DOPITC>2.0.ZU;2-L
Abstract
A degree of parallelism is an equivalence class of Scott-continuous fu nctions which are relatively definable by each other with respect to t he language PCF (a paradigmatic sequential language). We introduce an infinite (''bi-dimensional'') hierarchy of degrees. This hierarchy is inspired by representing first order continuous functions as hypergrap hs. We assume some familiarity with the language PCF and with its cont inuous model.