Combinatory reduction systems with explicit substitution that preserve strong normalisation

C.J. Bloo; K.H. Rose

doi:10.1007/3-540-61464-8_51

Combinatory reduction systems with explicit substitution that preserve strong normalisation

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

Original language	English
Title of host publication	Rewriting Techniques and Applications (Proceedings 7th International Conference, RTA-96, New Brunswick NJ, USA, July 27-30, 1996)
Editors	H. Ganzinger
Place of Publication	Berlin
Publisher	Springer
Pages	169-183
ISBN (Print)	3-540-61464-8
DOIs	https://doi.org/10.1007/3-540-61464-8_51
Publication status	Published - 1996

Publication series

Name	Lecture Notes in Computer Science
Volume	1103
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-61464-8_51

Cite this

Bloo, C. J., & Rose, K. H. (1996). Combinatory reduction systems with explicit substitution that preserve strong normalisation. In H. Ganzinger (Ed.), Rewriting Techniques and Applications (Proceedings 7th International Conference, RTA-96, New Brunswick NJ, USA, July 27-30, 1996) (pp. 169-183). (Lecture Notes in Computer Science; Vol. 1103). Springer. https://doi.org/10.1007/3-540-61464-8_51

@inproceedings{f45e0fedbd2b47c2a333e0c8bab92ac2,

title = "Combinatory reduction systems with explicit substitution that preserve strong normalisation",

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

year = "1996",

doi = "10.1007/3-540-61464-8_51",

language = "English",

isbn = "3-540-61464-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "169--183",

editor = "H. Ganzinger",

booktitle = "Rewriting Techniques and Applications (Proceedings 7th International Conference, RTA-96, New Brunswick NJ, USA, July 27-30, 1996)",

address = "Germany",

}

Bloo, CJ & Rose, KH 1996, Combinatory reduction systems with explicit substitution that preserve strong normalisation. in H Ganzinger (ed.), Rewriting Techniques and Applications (Proceedings 7th International Conference, RTA-96, New Brunswick NJ, USA, July 27-30, 1996). Lecture Notes in Computer Science, vol. 1103, Springer, Berlin, pp. 169-183. https://doi.org/10.1007/3-540-61464-8_51

Combinatory reduction systems with explicit substitution that preserve strong normalisation. / Bloo, C.J.; Rose, K.H.

Rewriting Techniques and Applications (Proceedings 7th International Conference, RTA-96, New Brunswick NJ, USA, July 27-30, 1996). ed. / H. Ganzinger. Berlin : Springer, 1996. p. 169-183 (Lecture Notes in Computer Science; Vol. 1103).

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

TY - GEN

T1 - Combinatory reduction systems with explicit substitution that preserve strong normalisation

AU - Bloo, C.J.

AU - Rose, K.H.

PY - 1996

Y1 - 1996

U2 - 10.1007/3-540-61464-8_51

DO - 10.1007/3-540-61464-8_51

M3 - Conference contribution

SN - 3-540-61464-8

T3 - Lecture Notes in Computer Science

SP - 169

EP - 183

BT - Rewriting Techniques and Applications (Proceedings 7th International Conference, RTA-96, New Brunswick NJ, USA, July 27-30, 1996)

A2 - Ganzinger, H.

PB - Springer

CY - Berlin

ER -

Bloo CJ, Rose KH. Combinatory reduction systems with explicit substitution that preserve strong normalisation. In Ganzinger H, editor, Rewriting Techniques and Applications (Proceedings 7th International Conference, RTA-96, New Brunswick NJ, USA, July 27-30, 1996). Berlin: Springer. 1996. p. 169-183. (Lecture Notes in Computer Science). https://doi.org/10.1007/3-540-61464-8_51