"On the Expressive Power of First-Order Boolean Functions in PCF"

Riccardo Pucella, Prakash Panangaden (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics