WWW Information

• Association for Symbolic Logic
• Bulletin of IGPL
• ILLC
• FoLLI
• Theory & Formal Methods, Imperial College
• LFCS, University of Edinburgh
• CCA (Computability and Complexity in Analysis)
• CDMTCS (Center for Discrete Mathematics and Theoretical Computer Science)
• AMAST (Algebraic Methodology And Software Technology)
• linear logic WWW page
• Bibliography on Linear Logic
• WWW page on Logical Frameworks
• ACM SIGACT WWW page
• The Hypertext Bibliography Project
• Japanese Association of Mathematical Sciences
• Journal of Universal Computer Science