CORRECTION

• To: LINEAR@CS.STANFORD.EDU
• Subject: CORRECTION
• From: URSINI@sivax.cineca.it
• Date: Tue, 18 JAN 94 10:17 N
• Approved: types@dcs.gla.ac.uk

  DEAR LINEAR COSTUMER
PLEASE NOTICE THAT IN THE ABSTRACT :
  New Linear Logic Proof Theory and Semantic, II
WICH IS TODAY IN YOUR E-MAIL THERE IS AN ERROR IN THE ITEM (*)
SECTION 2, RELATING PHASE SPACES AND PHASOIDS.

  THE  CORRECT  FORMULA  IS :
(*)  x R y     iff  xy does not belong to BOTTOM.

Omnia munda mundis
Aldo Ursini

Aldo Ursini
Universita' di Siena
Dipartimento di Matematica
Via del Capitano 15
53100 Siena - Italy
ph: 577-286244
fax: 577-270581
email: ursini@sivax.cineca.it

• Prev: BRA project `Types for Proofs and Programs'
• Next: categorical treatment of F_omega?
• Index(es):
  • Main
  • Thread