On pseudo-c\(\beta\) normal form in combinatory logic
type: Item
instance of: scholarly article
title: On pseudo-c\(\beta\) normal form in combinatory logic
zbMATH Open document ID: 0673.03010
DOI: 10.1016/0304-3975(89)90157-6
author: Mohamed Mezghiche
published in: Theoretical Computer Science
publication date: 1989-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 4101141
zbMATH Keywords: c\(\beta\)-reduction
zbMATH Keywords: combinatory logic
zbMATH Keywords: pseudo-c\(\beta \) normal form
zbMATH Keywords: \(\lambda\)-term
MaRDI profile type: Publication
full work available at URL: 0304-3975(89)90157-6
OpenAlex ID: W2083220767
cites work: Q5565113
cites work: Q4722037
cites work: Une nouvelle C\(\beta\)-réduction dans la logique combinatoire
description: scientific article; zbMATH DE number 4101141