The logic of using things exactly once — and why it matters
Valeria (noreply@blogger.com)
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 Dick Crouch, Eike Ritter, Josef van Genabith, and me. Looking back, it is striking how many of the ide