External and internal syntax of the λ-calculus

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