Sequential evaluation strategies for parallel-or and related reduction systems
type: Item
instance of: scholarly article
title: Sequential evaluation strategies for parallel-or and related reduction systems
zbMATH Open document ID: 0684.68043
DOI: 10.1016/0168-0072(89)90024-9
author: J. R. Kennaway
published in: Annals of Pure and Applied Logic
publication date: 1989-01-01T00:00:00Z
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 03D03
Mathematics Subject Classification ID: 03D40
zbMATH DE Number: 4121420
zbMATH Keywords: evaluation strategies
zbMATH Keywords: abstract reduction systems
zbMATH Keywords: term rewrite systems
zbMATH Keywords: combinatory reduction systems
MaRDI profile type: Publication
full work available at URL: 0168-0072(89)90024-9
OpenAlex ID: W2122429656
cites work: The lambda calculus, its syntax and semantics
cites work: Q3205213
cites work: Q4160405
cites work: Q5565113
cites work: Combinatory logic. Vol. II
cites work: Q3918095
description: scientific article; zbMATH DE number 4121420