Linear Logic and Noncommutativity in the Calculus of Structures (2003)

by Lutz Straßburger , Technischen Universität Dresden , Diplom-informatiker Lutz Straßburger , Betreuer Dr. Alessio Guglielmi , Dr. François Lamarche
Citations:38 - 12 self