Welcome to Scribd. Sign in or start your free trial to enjoy unlimited e-books, audiobooks & documents.Find out more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
5Activity
P. 1
Introduction to Linear Logic - T. Brauner

Introduction to Linear Logic - T. Brauner

Ratings: (0)|Views: 30|Likes:
Published by Mike
Basic Research in Computer Science

BRICS

BRICS LS-96-6 T. Brauner: Introduction to Linear Logic ¨

Introduction to Linear Logic

Torben Brauner ¨
Basic Research in Computer Science

BRICS

BRICS LS-96-6 T. Brauner: Introduction to Linear Logic ¨

Introduction to Linear Logic

Torben Brauner ¨

More info:

Published by: Mike on May 08, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

08/10/2012

pdf

text

original

 
RI    C S  S - 9   6  - 6   . a¨    un e  : I   n t    o d  u c  t   i    on t    oi   n e  a 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 

Activity (5)

You've already reviewed this. Edit your review.
1 hundred reads
Anita Ray liked this
gjohnson7109 liked this
DAR liked this

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->