I couldn't agree more, classical linear logic leads to surprisingly concise definitions.

Your day job sounds fascinating, would you mind expanding on it a bit?