Degrees of parallelism in the continuous type hierarchy

✍ Scribed by Antonio Bucciarelli

• Book ID: 104326226
• Publisher: Elsevier Science
• Year: 1997
• Tongue: English
• Weight: 713 KB
• Volume: 177
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/s0304-3975(96)00234-4

✦ Synopsis

A degree of parallelism is an equivalence class of Scott-continuous functions which are relatively definable by each other with respect to the 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 hypergraphs. We assume some familiarity with the language PCF and with its continuous model.