@ARTICLE{NH02,
  author = {Nakata, Masahiro and Hayashi, Susumu},
  title = {A limiting first order realizability interpretation},
  journal = {Sci. Math. Jpn.},
  year = {2002},
  volume = {55},
  pages = {567--580},
  number = {3},
  keywords = {bib,cca}
}

{"_id":"SB37DEw3wLunDqpJ7","bibbaseid":"nakata-hayashi-alimitingfirstorderrealizabilityinterpretation-2002","authorIDs":[],"author_short":["Nakata, M.","Hayashi, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Nakata"],"firstnames":["Masahiro"],"suffixes":[]},{"propositions":[],"lastnames":["Hayashi"],"firstnames":["Susumu"],"suffixes":[]}],"title":"A limiting first order realizability interpretation","journal":"Sci. Math. Jpn.","year":"2002","volume":"55","pages":"567–580","number":"3","keywords":"bib,cca","bibtex":"@ARTICLE{NH02,\r\n author = {Nakata, Masahiro and Hayashi, Susumu},\r\n title = {A limiting first order realizability interpretation},\r\n journal = {Sci. Math. Jpn.},\r\n year = {2002},\r\n volume = {55},\r\n pages = {567--580},\r\n number = {3},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Nakata, M.","Hayashi, S."],"key":"NH02","id":"NH02","bibbaseid":"nakata-hayashi-alimitingfirstorderrealizabilityinterpretation-2002","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.975Z","downloads":0,"keywords":["bib","cca"],"search_terms":["limiting","first","order","realizability","interpretation","nakata","hayashi"],"title":"A limiting first order realizability interpretation","year":2002,"dataSources":["t7rKiAbxugj4Agz8M"]}