Well-foundedness in realizability

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

Original language	Undefined/Unknown
Pages (from-to)	795-805
Number of pages	11
Journal	Archive for Mathematical Logic
Volume	45
Publication status	Published - 2006

Keywords

@article{8bd3a697c808499780baae22f1f4bcd6,

title = "Well-foundedness in realizability",

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

author = "M. Hoffmann and \{van Oosten\}, J. and T. Streicher",

year = "2006",

language = "Undefined/Unknown",

volume = "45",

pages = "795--805",

journal = "Archive for Mathematical Logic",

issn = "0933-5846",

publisher = "Springer New York",

}