Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction

Research output: Contribution to journalArticle

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Pages (from-to)85-101
Number of pages17
JournalElectronic Notes in Theoretical Computer Science
Volume247
Publication statusPublished - 2009