Well-foundedness in realizability

M. Hoffmann, J. van Oosten, T. Streicher

Research output: Contribution to journalArticleAcademicpeer-review

Original languageUndefined/Unknown
Pages (from-to)795-805
Number of pages11
JournalArchive for Mathematical Logic
Volume45
Publication statusPublished - 2006

Keywords

  • Other mathematical specialities
  • Wiskunde en computerwetenschappen
  • Wiskunde: algemeen

Cite this