1 paper · 1 filter
Riccardo Pucella, Prakash Panangaden
Recent results of Bucciarelli show that the semilattice of degrees of parallelism of first-order boolean functions in PCF has both infinite chains and infinite antichains. By consi…