Axioms and (Counter)examples in Synthetic Domain Theory

J. van Oosten, A.K. Simpson

Research output: Contribution to journalArticleAcademicpeer-review

Original languageUndefined/Unknown
Pages (from-to)233-278
Number of pages46
JournalAnnals of Pure and Applied Logic
Volume104
Issue number1-3
Publication statusPublished - 2000

Keywords

  • Wiskunde en Informatica (WIIN)
  • Other mathematical specialities
  • Wiskunde en computerwetenschappen
  • Wiskunde: algemeen

Cite this