Encoding Generic Judgments. Miller, D. & Tiu, A. In Proceedings of FSTTCS, of LNCS, pages 18–32, December, 2002. Springer.
bibtex   
@inproceedings{miller02fsttcs,
  author = {Dale Miller and Alwen Tiu},
  title = {Encoding Generic Judgments},
  booktitle = {Proceedings of FSTTCS},
  pages = {18--32},
  year = {2002},
  publisher = {Springer},
  series = lncs,
  number = {2556},
  month = dec,
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/fsttcs02.pdf},
  dvi = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/fsttcs02.dvi}
}

Downloads: 0