Reference : Simplified Reducibility Proofs of Church-Rosser for beta- and beta-eta-reduction
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/22670
Simplified Reducibility Proofs of Church-Rosser for beta- and beta-eta-reduction
English
Kamareddine, Fairouz [> >]
Rahli, Vincent mailto [Heriot-Watt University > School of Mathematical and Computer Sicences]
2009
Electronic Notes in Theoretical Computer Science
247
85--101
Yes
1571-0661
http://hdl.handle.net/10993/22670

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
long-new-red-short.pdfAuthor preprint293.03 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.