Modularity of strong normalization and confluence in the algebraic lambda-cube

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

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	406-415
DOIs	https://doi.org/10.1109/LICS.1994.316049
Publication status	Published - 1994

Access to Document

@inproceedings{0c5665e13d6f4110a002f35e8c7284a6,

title = "Modularity of strong normalization and confluence in the algebraic lambda-cube",

author = "F. Barbanera and M. Fernandez and J.H. Geuvers",

year = "1994",

doi = "10.1109/LICS.1994.316049",

language = "English",

pages = "406--415",

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

publisher = "IEEE Computer Society",

address = "United States",

}

Modularity of strong normalization and confluence in the algebraic lambda-cube. / Barbanera, F.; Fernandez, M.; Geuvers, J.H.
Proceedings 9th Annual IEEE Symposium on Logic in Computer Science (Paris, France, July 4-7, 1994). IEEE Computer Society, 1994. p. 406-415.

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

TY - GEN

T1 - Modularity of strong normalization and confluence in the algebraic lambda-cube

AU - Barbanera, F.

AU - Fernandez, M.

AU - Geuvers, J.H.

PY - 1994

Y1 - 1994

U2 - 10.1109/LICS.1994.316049

DO - 10.1109/LICS.1994.316049

M3 - Conference contribution

SP - 406

EP - 415

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

PB - IEEE Computer Society

ER -