Relative and modified relative realizability

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

Original language	Undefined/Unknown
Pages (from-to)	115-132
Number of pages	18
Journal	Annals of Pure and Applied Logic
Volume	118
Issue number	1-2
Publication status	Published - 2002

Keywords

@article{a97161d19ea6442aa09e05e8bb9d1b9d,

title = "Relative and modified relative realizability",

keywords = "Other mathematical specialities, Wiskunde en computerwetenschappen, Wiskunde: algemeen",

author = "L. Birkedal and {van Oosten}, J.",

year = "2002",

language = "Undefined/Unknown",

volume = "118",

pages = "115--132",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier",

number = "1-2",

}