The logic of using things exactly once — and why it matters

What a 1999 gathering of logicians was quietly getting right about the future of computing August 1999 · Dagstuhl Castle, Germany. In August 1999, about two dozen researchers gathered at Schloss Dagstuhl — a castle in the German countryside that has hosted some of the most productive meetings in computer science — for a seminar on Linear Logic and its Applications . The meeting was organized by…