• Arts
• Business
• Computers
• Games
• Health
• Home
• Kids and Teens
• News
• Recreation
• Reference
• Regional
• Science
• Shopping
• Society
• Sports

Logic and Foundations

• 281
• Bibliography on Linear Logic
• A list of over 400 papers on linear logic. Many of the papers are downloadable.

• 282
• Linear Logic Papers by Andreas Blass
• Collection of downloadable papers on linear logic and game semantics by A. Blass.

• 283
• Linear Logic Semantics
• A long reply by Vaughan Pratt to a question on the linear logic mailing list by the late Jon Barwise.

• 284
• Seminar on Linear Logic and Applications
• Organised by Frank Pfenning at Carnegie-Mellon.

• 285
• The Linear Logic Pages
• An overview of the current knowledge in Linear Logic.

• 286
• Asperti, Andrea
• University of Bologna, Italy.

• 287
• Cervesato, Lliano
• ITT Industries, Inc., USA.

• 288
• De Paiva, Valeria
• Palo Alto Research Center, USA.

• 289
• Delzanno, Giorgio
• University of Genova, Italy.

• 290
• Gallier, Jean
• University of Pennsylvania, USA.

• 291
• Galmiche, Didier
• University of Henri Poincare, France.

• 292
• Gardner, Philippa
• Imperial College, UK.

• 293
• Harland, James
• RMIT University, Australia.

• 294
• Honsell, Furio
• University of Udine, Italy.

• 295
• Perrier, Guy
• University Nancy, France.

• 296
• Tamura, Naoyuki
• Kobe University, Japan.

• 297
• Wadler, Philip
• University of Edinburgh, UK.

• 298
• Winskel, Glynn
• University of Cambridge, UK.

• 299
• Aachen
• Mathematical Foundations of Computer Science.

• 300
• Heidelberg
• Mathematical Logic.