8 citations · 16 across the 5 of their papers we have counts for
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…