Q3988401
type: Item
instance of: scholarly article
zbMATH Open document ID: 0745.03012
author: Şeref Mirasyedioğlu
publication date: 1992-06-28T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 32501
zbMATH Keywords: combinators
zbMATH Keywords: lambda calculus
zbMATH Keywords: strong normal forms
zbMATH Keywords: Böhm's theorem
zbMATH Keywords: reduction system
MaRDI profile type: MaRDI publication profile
Recommended article: Combinatory weak reduction in lambda calculus
Recommended article: Reduction System for Extensional Lambda-mu Calculus
Recommended article: Q5224689
Recommended article: Q3782743
Recommended article: Combinatory reduction systems: Introduction and survey
Recommended article: Toward a reduction system commuting with beta reduction in the partial lambda calculus
Recommended article: Q4794072
Recommended article: Refining reduction in the lambda calculus
Recommended article: Infinitary combinatory reduction systems
Recommended article: Term Rewriting and Applications
description: scientific article; zbMATH DE number 32501