Reply to Andrews: The power of linear logic

[Vijay Saraswat]

Why cant we have our cake and eat it too?

Have the specific structures (for syntax, semantics, inter-relationships) that
seem to be the ``appropriate level'' for analysis. Different notation, even, is
sometimes very useful in keeping different ideas apart. Have the
``compilation'' into some underlying ``universal'' formalism like linear logic,
for ease of implementation, whatever. Use whichever views gives you more
insight into the matter at hand.

Case closed. No?