• Embed Doc
  • Copy Link
  • Readcast
  • Collections
  • CommentGo Back
Download
 
B RI    C S L  S - 9   6  - 6  T  .B r  a¨    un e r  : I   n t   r  o d  u c  t   i    on t    oL i   n e  ar L  o  gi    c 
BRICS
Basic Research in Computer Science
Introduction to Linear Logic
Torben Bra ¨unerBRICS Lecture Series LS-96-6ISSN 1395-2048 December 1996
 
Copyrightc
1996, BRICS, Department of Computer ScienceUniversity of Aarhus. All rights reserved.Reproduction of all or part of this workis permitted for educational or research useon condition that this copyright notice isincluded in any copy.See back inner page for a list of recent publications in the BRICSLecture Series. Copies may be obtained by contacting:BRICSDepartment of Computer ScienceUniversity of AarhusNy Munkegade, building 540DK - 8000 Aarhus CDenmarkTelephone:+45 8942 3360Telefax: +45 8942 3255Internet: BRICS@brics.dkBRICS publications are in general accessible through World WideWeb and anonymous FTP:
http://www.brics.dk/ftp://ftp.brics.dk/
This document in subdirectory
LS/96/6/
 
 Introduction to Linear Logic
Torben Bra¨ uner 
of 00

Leave a Comment

You must be to leave a comment.
Submit
Characters: ...
You must be to leave a comment.
Submit
Characters: ...