Combinatory reduction systems with explicit substitution that preserve strong normalisation

C.J. Bloo, K.H. Rose

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

16 Citations (Scopus)
Original languageEnglish
Title of host publicationRewriting Techniques and Applications (Proceedings 7th International Conference, RTA-96, New Brunswick NJ, USA, July 27-30, 1996)
EditorsH. Ganzinger
Place of PublicationBerlin
PublisherSpringer
Pages169-183
ISBN (Print)3-540-61464-8
DOIs
Publication statusPublished - 1996

Publication series

NameLecture Notes in Computer Science
Volume1103
ISSN (Print)0302-9743

Cite this