Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction

Fairouz Kamareddine, Vincent Rahli

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	85-101
Number of pages	17
Journal	Electronic Notes in Theoretical Computer Science
Volume	247
DOIs	https://doi.org/10.1016/j.entcs.2009.07.050
Publication status	Published - 2009

Access to Document

@article{4b40088e8ff34bb0b93b074dd431ec89,

title = "Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction",

author = "Fairouz Kamareddine and Vincent Rahli",

year = "2009",

doi = "10.1016/j.entcs.2009.07.050",

language = "English",

volume = "247",

pages = "85--101",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

}

TY - JOUR

T1 - Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction

AU - Kamareddine, Fairouz

AU - Rahli, Vincent

PY - 2009

Y1 - 2009

U2 - 10.1016/j.entcs.2009.07.050

DO - 10.1016/j.entcs.2009.07.050

M3 - Article

SN - 1571-0661

VL - 247

SP - 85

EP - 101

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -