The construction of a CPO model for second order lambda calculus with recursion

H.M.M. Eikelder, ten; C. Hemerik

The construction of a CPO model for second order lambda calculus with recursion

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

Original language	English
Title of host publication	Computing Science in the Netherlands (CSN'89, Utrecht, The Netherlands, November 9-10, 1989)
Place of Publication	Amsterdam
Publisher	Centrum voor Wiskunde en Informatica
Pages	131-148
ISBN (Print)	90-6196-382-6
Publication status	Published - 1989

Cite this

@inproceedings{21f10835d0d748d68bf9863218de4f2b,

title = "The construction of a CPO model for second order lambda calculus with recursion",

author = "{Eikelder, ten}, H.M.M. and C. Hemerik",

year = "1989",

language = "English",

isbn = "90-6196-382-6",

pages = "131--148",

booktitle = "Computing Science in the Netherlands (CSN'89, Utrecht, The Netherlands, November 9-10, 1989)",

publisher = "Centrum voor Wiskunde en Informatica",

}

The construction of a CPO model for second order lambda calculus with recursion. / Eikelder, ten, H.M.M.; Hemerik, C.

Computing Science in the Netherlands (CSN'89, Utrecht, The Netherlands, November 9-10, 1989). Amsterdam : Centrum voor Wiskunde en Informatica, 1989. p. 131-148.

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

TY - GEN

T1 - The construction of a CPO model for second order lambda calculus with recursion

AU - Eikelder, ten, H.M.M.

AU - Hemerik, C.

PY - 1989

Y1 - 1989

M3 - Conference contribution

SN - 90-6196-382-6

SP - 131

EP - 148

BT - Computing Science in the Netherlands (CSN'89, Utrecht, The Netherlands, November 9-10, 1989)

PB - Centrum voor Wiskunde en Informatica

CY - Amsterdam

ER -