Process Realizability: (Abstract)
โ Scribed by Samson Abramsky
- Publisher
- Elsevier Science
- Year
- 1999
- Tongue
- English
- Weight
- 125 KB
- Volume
- 23
- Category
- Article
- ISSN
- 1571-0661
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
## Abstract We present a refinement ofthe bounded modified realizability which provides both upper and lower bounds for witnesses. Our interpretation is based on a generalisation of Howard/Bezem's notion of strong majorizability. We show how the bounded modified realizability coincides with (a weak
## Physical realizability conditions P e 1 z e r 1) has recently called in question a statement in earlier work 2) of the present authors wherein it is mentioned that the usual conditions for physical realizability on Q(co), the reduced polarization or network function, are too restricted. The pr