Comparing curried and uncurried rewriting
type: Item
instance of: scholarly article
title: Comparing curried and uncurried rewriting
zbMATH Open document ID: 0847.68055
author: Richard Kennaway
author: Jan Willem Klop
author: Ronan Sleep
author: Fer-Jan De Vries
published in: Journal of Symbolic Computation
publication date: 1996-08-22T00:00:00Z
full work available at URL: https://ir.cwi.nl/pub/1407
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 906763
zbMATH Keywords: currying
zbMATH Keywords: term rewrite systems
MaRDI profile type: Publication
OpenAlex ID: W1988319950
DOI: 10.1006/JSCO.1996.0002
description: scientific article; zbMATH DE number 906763