View of On Church-Rosser Property of Notion of βδ-Reduction for Canonical Notion of δ-Reduction

Return to Article Details On Church-Rosser Property of Notion of βδ-Reduction for Canonical Notion of δ-Reduction Download Download PDF