External and internal syntax of the λ-calculus
Cached
Download Links
by
Masahiko Sato
,
Randy Pollack
| Venue: | In: Buchberger, Ida, Kutsia (Eds.), Proc. of the Austrian-Japanese Workshop on Symbolic Computation in Software Science, SCSS 2008. No. 08–08 in RISC-Linz Report Series |
| Citations: | 2 - 1 self |
BibTeX
@INPROCEEDINGS{Sato_externaland,
author = {Masahiko Sato and Randy Pollack},
title = {External and internal syntax of the λ-calculus},
booktitle = {In: Buchberger, Ida, Kutsia (Eds.), Proc. of the Austrian-Japanese Workshop on Symbolic Computation in Software Science, SCSS 2008. No. 08–08 in RISC-Linz Report Series},
year = {},
pages = {176--195}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
There is growing interest in the study of the syntactic structure of expressions equipped with a variable binding mechanism. The importance of this study can be justified for various reasons, e.g. educational, scientific and engineering reasons. This study is educationally important since in logic and computer science, we cannot avoid teaching the
