On the Church-Rosser property for expressive type systems and its consequences for their metatheoretic study

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

22 Citations (Scopus)

Original language	English
Title of host publication	Proceedings 9th Annual IEEE Symposium on Logic in Computer Science (Paris, France, July 4-7, 1994)
Publisher	IEEE Computer Society
Pages	320-329
DOIs	https://doi.org/10.1109/LICS.1994.316057
Publication status	Published - 1994

Access to Document

@inproceedings{d09ee57cecde4adebabaeda5e46f0d01,

title = "On the Church-Rosser property for expressive type systems and its consequences for their metatheoretic study",

author = "J.H. Geuvers and B. Werner",

year = "1994",

doi = "10.1109/LICS.1994.316057",

language = "English",

pages = "320--329",

booktitle = "Proceedings 9th Annual IEEE Symposium on Logic in Computer Science (Paris, France, July 4-7, 1994)",

publisher = "IEEE Computer Society",

address = "United States",

}

On the Church-Rosser property for expressive type systems and its consequences for their metatheoretic study. / Geuvers, J.H.; Werner, B.
Proceedings 9th Annual IEEE Symposium on Logic in Computer Science (Paris, France, July 4-7, 1994). IEEE Computer Society, 1994. p. 320-329.

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

TY - GEN

T1 - On the Church-Rosser property for expressive type systems and its consequences for their metatheoretic study

AU - Geuvers, J.H.

AU - Werner, B.

PY - 1994

Y1 - 1994

U2 - 10.1109/LICS.1994.316057

DO - 10.1109/LICS.1994.316057

M3 - Conference contribution

SP - 320

EP - 329

BT - Proceedings 9th Annual IEEE Symposium on Logic in Computer Science (Paris, France, July 4-7, 1994)

PB - IEEE Computer Society

ER -