@ARTICLE{BH17,
  author = {Berger, Ulrich and Hou, Tie},
  title = {A realizability interpretation of {C}hurch's simple theory of types},
  journal = {Mathematical Structures in Computer Science},
  year = {2017},
  volume = {27},
  pages = {1364--1385},
  number = {8},
  doi = {10.1017/S0960129516000104},
  file = {BH17.pdf:BH17.pdf:PDF},
  publisher = {Cambridge University Press}
}

{"_id":"RWwfSiEj5vJaf4sos","bibbaseid":"berger-hou-arealizabilityinterpretationofchurchssimpletheoryoftypes-2017","authorIDs":[],"author_short":["Berger, U.","Hou, T."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Berger"],"firstnames":["Ulrich"],"suffixes":[]},{"propositions":[],"lastnames":["Hou"],"firstnames":["Tie"],"suffixes":[]}],"title":"A realizability interpretation of Church's simple theory of types","journal":"Mathematical Structures in Computer Science","year":"2017","volume":"27","pages":"1364–1385","number":"8","doi":"10.1017/S0960129516000104","file":"BH17.pdf:BH17.pdf:PDF","publisher":"Cambridge University Press","bibtex":"@ARTICLE{BH17,\r\n author = {Berger, Ulrich and Hou, Tie},\r\n title = {A realizability interpretation of {C}hurch's simple theory of types},\r\n journal = {Mathematical Structures in Computer Science},\r\n year = {2017},\r\n volume = {27},\r\n pages = {1364--1385},\r\n number = {8},\r\n doi = {10.1017/S0960129516000104},\r\n file = {BH17.pdf:BH17.pdf:PDF},\r\n publisher = {Cambridge University Press}\r\n}\r\n\r\n","author_short":["Berger, U.","Hou, T."],"key":"BH17","id":"BH17","bibbaseid":"berger-hou-arealizabilityinterpretationofchurchssimpletheoryoftypes-2017","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:34.720Z","downloads":0,"keywords":[],"search_terms":["realizability","interpretation","church","simple","theory","types","berger","hou"],"title":"A realizability interpretation of Church's simple theory of types","year":2017,"dataSources":["t7rKiAbxugj4Agz8M"]}