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)