Back
  1. Home
  3. Detailed Reference
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 toDetailsStatisticsBibliographySimilar 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


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
eISSN :
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
88 (3 by Unilu)
Number of downloads
0 (0 by Unilu)
More statistics
Scopus citations®
 
0
Scopus citations®
without self-citations
0
OpenCitations
 
0
OpenAlex citations
 
1

Bibliography

Similar publications


Contact ORBilu