Extensional realizability

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

Original language	Undefined/Unknown
Pages (from-to)	317-349
Number of pages	33
Journal	Annals of Pure and Applied Logic
Volume	84
Issue number	3
Publication status	Published - 1997

Keywords

@article{5fe2a502a9fd41128c0eecc66b3ffdca,

title = "Extensional realizability",

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

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

year = "1997",

language = "Undefined/Unknown",

volume = "84",

pages = "317--349",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier BV",

number = "3",

}