Church-Rosser strategies in the lambda calculus
type: Item
instance of: scholarly article
title: Church-Rosser strategies in the lambda calculus
zbMATH Open document ID: 0404.03015
DOI: 10.1016/0304-3975(79)90004-5
author: Jan Willem Klop
author: J. A. Bergstra
published in: Theoretical Computer Science
publication date: 1979-01-01T00:00:00Z
full work available at URL: https://dspace.library.uu.nl/handle/1874/12750
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 3627137
zbMATH Keywords: Church-Rosser Strategies
zbMATH Keywords: Lambda Calculus
zbMATH Keywords: Reduction Strategies
MaRDI profile type: Publication
OpenAlex ID: W2107640351
cites work: Tree-Manipulating Systems and Church-Rosser Theorems
description: scientific article; zbMATH DE number 3627137