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 = "Sage",

number = "1-4",

}