A Partial Analysis of Modified Realizability

Research output: Contribution to journal › Article › Professional

Keywords

@article{9e50b05e391041a4b91f9bb427f59495,

title = "A Partial Analysis of Modified Realizability",

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

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

year = "2004",

language = "Undefined/Unknown",

volume = "69",

pages = "421--429",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Association for Symbolic Logic",

number = "2",

}