The discrimination theorem holds for combinatory weak reduction
type: Item
instance of: scholarly article
title: The discrimination theorem holds for combinatory weak reduction
zbMATH Open document ID: 0418.03011
DOI: 10.1016/0304-3975(79)90019-7
published in: Theoretical Computer Science
publication date: 1979-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 3650524
zbMATH Keywords: discrimination theorem
zbMATH Keywords: combinatory weak reduction
author: Roger Hindley
MaRDI profile type: Publication
full work available at URL: 0304-3975(79)90019-7
OpenAlex ID: W1980739743
cites work: A discrimination algorithm inside \(\lambda -\beta\)-calculus
cites work: Q5565113
description: scientific article; zbMATH DE number 3650524