Reducibility Proofs in the λ-Calculus

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

Access to Document

@article{84b5d21bd7a7446f94aa0b79ae230c8c,

title = "Reducibility Proofs in the λ-Calculus",

author = "Kamareddine, {Fairouz Dib} and Vincent Rahli and Wells, {Joseph Brian}",

year = "2012",

doi = "10.3233/FI-2012-773",

language = "English",

volume = "121",

pages = "121--152",

journal = "Fundamenta Informaticae",

issn = "1875-8681",

publisher = "IOS Press",

number = "1-4",

}