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

Kamareddine, Fairouz; Rahli, Vincent

doi:10.1016/j.entcs.2009.07.050

Request a copy

Article (Scientific journals)

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

Kamareddine, Fairouz; Rahli, Vincent

2009 • In Electronic Notes in Theoretical Computer Science, 247, p. 85--101

Peer reviewed

Permalink
https://hdl.handle.net/10993/22670

DOI
10.1016/j.entcs.2009.07.050

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

long-new-red-short.pdf

Author preprint (300.06 kB)

Request a copy

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Disciplines :

Computer science

Author, co-author :

Kamareddine, Fairouz

Rahli, Vincent ; Heriot-Watt University > School of Mathematical and Computer Sicences

External co-authors :

yes

Language :

English

Title :

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

Publication date :

2009

Journal title :

Electronic Notes in Theoretical Computer Science

ISSN :

1571-0661

Publisher :

Elsevier, Netherlands

Volume :

247

Pages :

85--101

Peer reviewed :

Peer reviewed

Available on ORBilu :

since 30 November 2015

Statistics

Number of views

53 (3 by Unilu)

Number of downloads

0 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations