Stem abramski$ (all stems)
2 papers:
- RTA-2013-Schmidt-SchaussMS #lazy evaluation #λ-calculus
- Extending Abramsky’s Lazy λ Calculus: (Non)-Conservativity of Embeddings (MSS, EM, DS), pp. 239–254.
- TLCA-1999-MikamiA #automaton #case study #linear
- A Study of Abramsky’s Linear Chemical Abstract Machine (SM, YA), pp. 243–257.