Toward a reduction system commuting with beta reduction in the partial lambda calculus
From MaRDI portal
Publication:2768241
DOI10.1109/ITI.2001.938046zbMath0993.68016MaRDI QIDQ2768241
Publication date: 30 January 2002
Published in: Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001. (Search for Journal in Brave)
This page was built for publication: Toward a reduction system commuting with beta reduction in the partial lambda calculus
