Technical Reports

The ICICS/CS Reading Room

UBC CS TR-84-07 Summary

Numeration models of $\lambda$B-Calculus, May 1984 K and Akira a

Numeration models of extensional $\lambda$-calculus have been studied (see [5,7]). In this paper, we study numeration models of $\lambda \beta$-calculus. Engeler's graph algebra construction [3] is applied to the category of numerations and is used as a tool to obtain numeration models of $\lambda \beta$-calculus. Several classes of numeration models are studied and several examples of them are presented.

If you have any questions or comments regarding this page please send mail to