Axioms and (Counter)examples in Synthetic Domain Theory

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

Original language	Undefined/Unknown
Pages (from-to)	233-278
Number of pages	46
Journal	Annals of Pure and Applied Logic
Volume	104
Issue number	1-3
Publication status	Published - 2000

Keywords

@article{437cadf2243a46e9847d611eb6a0e16d,

title = "Axioms and (Counter)examples in Synthetic Domain Theory",

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

author = "\{van Oosten\}, J. and A.K. Simpson",

year = "2000",

language = "Undefined/Unknown",

volume = "104",

pages = "233--278",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier BV",

number = "1-3",

}

TY - JOUR

T1 - Axioms and (Counter)examples in Synthetic Domain Theory

AU - van Oosten, J.

AU - Simpson, A.K.

PY - 2000

Y1 - 2000

KW - Wiskunde en Informatica (WIIN)

KW - Other mathematical specialities

KW - Wiskunde en computerwetenschappen

KW - Wiskunde: algemeen

M3 - Article

SN - 0168-0072

VL - 104

SP - 233

EP - 278

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 1-3

ER -