Reducibility Proofs in the λ-Calculus

Research output: Contribution to journalArticle

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

Cite this