Reference : Reducibility proofs in the lambda-calculus
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/22676
Reducibility proofs in the lambda-calculus
English
Kamareddine, Fairouz [> >]
Rahli, Vincent mailto [Heriot-Watt University > School of Mathematical and Computer Sciences]
Wells, J. B. [> >]
2012
Fundamenta Informaticae
121
Yes
http://hdl.handle.net/10993/22676

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
FI_reducibility.pdfAuthor preprint241.38 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.