Reducibility Proofs in the lambda-Calculus

Fairouz Kamareddine, Vincent Rahli, J. B. Wells

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)121-152
Number of pages32
JournalFundamenta Informaticae
Volume121
Issue number1-4
DOIs
Publication statusPublished - 2012

Cite this