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

Share/Save/Bookmark

Asveld, P.R.J. (1993) Review of "F. Mueller, Confluence of the lambda calculus with left-linear algebraic rewriting, Inform. Process. Lett. 41 (1991) 293-299". [Review of the book ] Mathematical reviews, MR1163 , p. 3330. ISSN 0025-5629

open access
[img]
Preview
PDF
37kB
Item Type:Book Review
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/66019
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page