Stem amb$ (all stems)
2 papers:
- CASE-2015-YuYXZ
- Magnetic control of AMB-1 magnetotactic bacteria for micromanipulation (JY, HY, TX, LZ), pp. 1614–1619.
- RTA-TLCA-2014-Schmidt-SchaussS #call-by #λ-calculus
- Applicative May- and Should-Simulation in the Call-by-Value λ Calculus with AMB (MSS, DS), pp. 379–394.