Adjuncts elimination in the static ambient logic (2003)

by E Lozes
Venue:In Proc. of Express’03