The modified realizability topos

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

Original language	Undefined/Unknown
Pages (from-to)	273-289
Number of pages	17
Journal	Journal of Pure and Applied Algebra
Volume	116
Issue number	1-3
Publication status	Published - 1997

Keywords

@article{6fcbae5d2def4ff79506cd1b17c605ad,

title = "The modified realizability topos",

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

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

year = "1997",

language = "Undefined/Unknown",

volume = "116",

pages = "273--289",

journal = "Journal of Pure and Applied Algebra",

issn = "0022-4049",

publisher = "Elsevier BV",

number = "1-3",

}

TY - JOUR

T1 - The modified realizability topos

AU - van Oosten, J.

PY - 1997

Y1 - 1997

KW - Wiskunde en Informatica (WIIN)

KW - Other mathematical specialities

KW - Wiskunde en computerwetenschappen

KW - Wiskunde: algemeen

M3 - Article

SN - 0022-4049

VL - 116

SP - 273

EP - 289

JO - Journal of Pure and Applied Algebra

JF - Journal of Pure and Applied Algebra

IS - 1-3

ER -