Reducibility Proofs in the lambda-Calculus

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

Access to Document

@article{57153ca4afb8430b90231cea8961b2e9,

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

author = "Fairouz Kamareddine and Vincent Rahli and Wells, \{J. B.\}",

year = "2012",

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

language = "English",

volume = "121",

pages = "121--152",

journal = "Fundamenta Informaticae",

issn = "0169-2968",

publisher = "Polskie Towarzystwo Matematyczne",

number = "1-4",

}