Sequentiality and Piecewise-affinity in Segments of Real-PCF

@article{Farjudian2004SequentialityAP,
  title={Sequentiality and Piecewise-affinity in Segments of Real-PCF},
  author={Amin Farjudian},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2004},
  volume={73},
  pages={3-43}
}
Real PCF (RPCF) was proposed by Mart´ in Escardo( 8) as a language for Real number computation. One of the key — and most controversial — constants is parallel-if (pif I ), the existence of which causes a serious inefficiency in the language leading to RPCF being impractical. While search is being undertaken to replace pif I with a more efficient operator, one needs to be assured of the segment of RPCF without pif I being sequential. A positive answer to this question is the main result of this… CONTINUE READING

Topics from this paper.

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-2 OF 2 CITATIONS

Semantics of a sequential language for exact real-number computation

  • Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.
  • 2004
VIEW 3 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED