Two remarks on the Lifschitz Realizability Topos

Research output: Contribution to journal › Article › Academic › peer-review

Keywords

@article{4c8100b3e79e4f28be93aaccac17d546,

title = "Two remarks on the Lifschitz Realizability Topos",

keywords = "Wiskunde en Informatica (WIIN), Other mathematical specialities, Wiskunde en computerwetenschappen, Wiskunde: algemeen",

author = "\{van Oosten\}, J.",

year = "1996",

language = "Undefined/Unknown",

volume = "61",

pages = "70--79",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "1",

}