On the expressive power of first-order boolean functions in pcf (0)

by Riccardo Pucella, Prakash Panangaden
Venue:Theoretical Computer Science