𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Simple Approach to Electronic Computers


Book ID
119750682
Publisher
Institution of Electrical Engineers
Year
1967
Weight
103 KB
Volume
37
Category
Article
ISSN
0039-2871

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Computing With Contexts A simple approac
✍ David Sands πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 855 KB

This article describes how the use of a higher-order syntax representation of contexts due to A. Pitts] combines smoothly with higher-order syntax for evaluation rules, so that de nitions can be extended to work over contexts. This provides "for free" | without the development o f a n y new language