Review of "F. Müller, Confluence of the lambda calculus with left-linear algebraic rewriting, Inform. Process. Lett. 41 (1991) 293-299"

P.R.J. Asveld

Review of "F. Müller, Confluence of the lambda calculus with left-linear algebraic rewriting, Inform. Process. Lett. 41 (1991) 293-299"

P.R.J. Asveld

Research output: Contribution to journal › Book/Film/Article review › Academic

23 Downloads (Pure)

Original language	English
Pages (from-to)	3330-3330
Number of pages	1
Journal	Mathematical reviews
Volume	MR1163040
Publication status	Published - 1993

Keywords

HMI-SLT: Speech and Language Technology

Access to Document

b1163040Final published version, 36.2 KB

Cite this

@article{e8173ee06de34d868d0ef3ec77085940,

title = "Review of {"}F. M{\"u}ller, Confluence of the lambda calculus with left-linear algebraic rewriting, Inform. Process. Lett. 41 (1991) 293-299{"}",

keywords = "HMI-SLT: Speech and Language Technology",

author = "P.R.J. Asveld",

year = "1993",

language = "English",

volume = "MR1163040",

pages = "3330--3330",

journal = "Mathematical reviews",

issn = "0025-5629",

publisher = "American Mathematical Society",

}

TY - JOUR

T1 - Review of "F. Müller, Confluence of the lambda calculus with left-linear algebraic rewriting, Inform. Process. Lett. 41 (1991) 293-299"

AU - Asveld, P.R.J.

PY - 1993

Y1 - 1993

KW - HMI-SLT: Speech and Language Technology

M3 - Book/Film/Article review

SN - 0025-5629

VL - MR1163040

SP - 3330

EP - 3330

JO - Mathematical reviews

JF - Mathematical reviews

ER -