Proof theory in the abstract - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

J. M. E. Hyland. Proof theory in the abstract. Annals of Pure and Applied Logic, 114(1-3):43-78, 2002.

@article{Hyland02,
  title = {Proof theory in the abstract},
  author = {J. M. E. Hyland},
  year = {2002},
  tags = {e-science},
  researchr = {https://researchr.org/publication/Hyland02},
  cites = {0},
  citedby = {0},
  journal = {Annals of Pure and Applied Logic},
  volume = {114},
  number = {1-3},
  pages = {43-78},
}

runs on WebDSL