BibTeX record journals/corr/cs-PL-0405085

download as .bib file

@article{DBLP:journals/corr/cs-PL-0405085,
  author    = {Riccardo Pucella and
               Prakash Panangaden},
  title     = {On the Expressive Power of First-Order Boolean Functions in {PCF}},
  journal   = {CoRR},
  volume    = {cs.PL/0405085},
  year      = {2004}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics