Searching for "adbmal" – sorted by Relevance.
-
Compilation of Combinatory Reduction Systems
- *int --- LAMBDA --- ADBMAL If s is an instruction then exec s changes the state of the abstract machine. Because
- Cited by 4 (0 self) – Add To MetaCart

