A simplified proof of the Church-Rosser theorem
type: Item
instance of: scholarly article
title: A simplified proof of the Church-Rosser theorem
zbMATH Open document ID: 1338.03017
author: Yuichi Komori
author: Naosuke Matsuda
author: Fumika Yamakawa
published in: Studia Logica
publication date: 2014-06-19T00:00:00Z
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 6305279
zbMATH Keywords: \(\lambda\)-calculus
zbMATH Keywords: Church-Rosser theorem
zbMATH Keywords: confluence theorem
zbMATH Keywords: parallel reduction
zbMATH Keywords: Takahashi translation
MaRDI profile type: Publication
full work available at URL: s11225-013-9470-y
OpenAlex ID: W2054680866
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: Q3522248
cites work: Parallel reductions in \(\lambda\)-calculus
DOI: 10.1007/S11225-013-9470-Y
description: scientific article; zbMATH DE number 6305279