Vejjajiva, Pimpen; Hall, Mark E. A lambda-calculus with patterns. (English) Zbl 1070.03506 Proceedings of the international conference on algebra and its applications (ICAA 2002), Chulalongkorn University, Bangkok, Thailand, March 18–20, 2002. Bangkog: Chulalongkorn University, Department of Mathematics (ISBN 970-13-2182-1). 266-277 (2002). MSC: 03B40 PDFBibTeX XMLCite \textit{P. Vejjajiva} and \textit{M. E. Hall}, in: Proceedings of the international conference on algebra and its applications (ICAA 2002), Chulalongkorn University, Bangkok, Thailand, March 18--20, 2002. Bangkog: Chulalongkorn University, Department of Mathematics. 266--277 (2002; Zbl 1070.03506)
Struth, Georg Calculating Church-Rosser proofs in Kleene algebra. (English) Zbl 1027.68071 de Swart, Harrie C. M. (ed.), Relational methods in computer science. 6th international conference, RelMiCS 2001 and 1st workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16-21, 2001. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2561, 276-290 (2002). MSC: 68Q42 68Q70 03B40 PDFBibTeX XMLCite \textit{G. Struth}, Lect. Notes Comput. Sci. 2561, 276--290 (2002; Zbl 1027.68071) Full Text: Link