Relative and modified relative realizability - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Lars Birkedal, Jaap van Oosten. Relative and modified relative realizability. Annals of Pure and Applied Logic, 118(1-2):115-132, 2002.

@article{BirkedalO02,
  title = {Relative and modified relative realizability},
  author = {Lars Birkedal and Jaap van Oosten},
  year = {2002},
  researchr = {https://researchr.org/publication/BirkedalO02},
  cites = {0},
  citedby = {0},
  journal = {Annals of Pure and Applied Logic},
  volume = {118},
  number = {1-2},
  pages = {115-132},
}

runs on WebDSL