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 journalBook/Film/Article reviewAcademic

7 Downloads (Pure)
Original languageEnglish
Pages (from-to)3330-3330
Number of pages1
JournalMathematical reviews
VolumeMR1163040
Publication statusPublished - 1993

Keywords

  • HMI-SLT: Speech and Language Technology

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",

}

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

In: Mathematical reviews, Vol. MR1163040, 1993, p. 3330-3330.

Research output: Contribution to journalBook/Film/Article reviewAcademic

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

VL - MR1163040

SP - 3330

EP - 3330

JO - Mathematical reviews

JF - Mathematical reviews

SN - 0025-5629

ER -