Linear Contexts, Sharing Functors: Techniques for Symbolic Computation
- 1 January 2003
- book chapter
- other
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The ZipperJournal of Functional Programming, 1997
- Interaction CombinatorsInformation and Computation, 1997
- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theoremIndagationes Mathematicae, 1972
- The mathematical language AUTOMATH, its usage, and some of its extensionsPublished by Springer Science and Business Media LLC ,1970