BibTeX record journals/apal/Cunningham95

download as .bib file

@article{DBLP:journals/apal/Cunningham95,
  author    = {Daniel W. Cunningham},
  title     = {The Real Core Model and It Scales},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {72},
  number    = {3},
  pages     = {213--289},
  year      = {1995}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics