@InProceedings{Grue02c,
  author       = {K. Grue},
  year         = {2002},
  title        = {Lambda-calculus as a foundation for mathematics},
  booktitle    = {Logic, Meaning and Computation : Essays in Memory of Alonzo
                  Church},
  editor       = {C. Anthony Anderson and Michael Zeleny},
  publisher    = {Kluwer Academic Publishers},
  address      = {Dordrecht},
  series       = {Synthese Library},
  volume       = {305},
  pages        = {289-314}
}