A combinatory algebra for sequential functionals of finite type

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Keywords

@inproceedings{ff9a64d8e4274ff3bf7827e550352f44,

title = "A combinatory algebra for sequential functionals of finite type",

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

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

note = "London Math. Soc. Lecture Note Ser.e",

year = "1997",

language = "Undefined/Unknown",

pages = "389--405",

editor = "{Barry Cooper}, S. and J.K. Truss",

booktitle = "Models and computability",

publisher = "Campridge University Press",

}

TY - GEN

T1 - A combinatory algebra for sequential functionals of finite type

AU - van Oosten, J.

N1 - London Math. Soc. Lecture Note Ser.e

PY - 1997

Y1 - 1997

KW - Wiskunde en Informatica (WIIN)

KW - Other mathematical specialities

KW - Wiskunde en computerwetenschappen

KW - Wiskunde: algemeen

M3 - Conference contribution

SP - 389

EP - 405

BT - Models and computability

A2 - Barry Cooper, S.

A2 - Truss, J.K.

PB - Campridge University Press

CY - Cambridge

ER -