Preservation of strong normalisation in named lambda calculi with explicit substitution and garbage collection

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'95, Utrecht, The Netherlands, November 27-28, 1995)
Place of Publication	Amsterdam
Publisher	Centrum voor Wiskunde en Informatica
Pages	62-72
ISBN (Print)	90-6196-460-1
Publication status	Published - 1995

Cite this

@inproceedings{a015e4619e7f4c54b676ef696851f0f5,

title = "Preservation of strong normalisation in named lambda calculi with explicit substitution and garbage collection",

author = "C.J. Bloo and K.H. Rose",

year = "1995",

language = "English",

isbn = "90-6196-460-1",

pages = "62--72",

booktitle = "Computing Science in the Netherlands (CSN'95, Utrecht, The Netherlands, November 27-28, 1995)",

publisher = "Centrum voor Wiskunde en Informatica",

}

Preservation of strong normalisation in named lambda calculi with explicit substitution and garbage collection. / Bloo, C.J.; Rose, K.H.
Computing Science in the Netherlands (CSN'95, Utrecht, The Netherlands, November 27-28, 1995). Amsterdam: Centrum voor Wiskunde en Informatica, 1995. p. 62-72.

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

TY - GEN

T1 - Preservation of strong normalisation in named lambda calculi with explicit substitution and garbage collection

AU - Bloo, C.J.

AU - Rose, K.H.

PY - 1995

Y1 - 1995

M3 - Conference contribution

SN - 90-6196-460-1

SP - 62

EP - 72

BT - Computing Science in the Netherlands (CSN'95, Utrecht, The Netherlands, November 27-28, 1995)

PB - Centrum voor Wiskunde en Informatica

CY - Amsterdam

ER -