Constant time parallel computations in lambda-calculus


We are studying here the computations over free algebras that can be done in a constant number of complete developments of the pure -calculus. In the following, such computations will be called constant time parallel computations (considering that all redexes in a -term are reduced “at the same time” to produce its complete development). This has obviously… (More)
DOI: 10.1016/S0304-3975(00)00380-7


Cite this paper

@article{Joly2001ConstantTP, title={Constant time parallel computations in lambda-calculus}, author={Thierry Joly}, journal={Theor. Comput. Sci.}, year={2001}, volume={266}, pages={975-985} }