Stem edific$ (all stems)
1 papers:
TLCA-2007-Mazza #abstraction #combinator #interactive #symmetry- Edifices and Full Abstraction for the Symmetric Interaction Combinators (DM), pp. 305–320.
TLCA-2007-Mazza #abstraction #combinator #interactive #symmetry