Two ftp-able papers

• To: Types Mailing List <types@dcs.gla.ac.uk>
• Subject: Two ftp-able papers
• From: SCPSG@acadvm1.uottawa.ca
• Date: Fri, 03 Jun 94 23:38:51 EDT
• Approved: types@dcs.gla.ac.uk

Dear Colleagues:

Due to some requests, the following two papers are available for
anonymous ftp from Imperial College, Department of Computer Science
(theory.doc.ic.ac.uk), in: papers/Scott.  They also will shortly be
available on the WorldWideWeb, at:
	http://www.csi.uottawa.ca/~phil/extra/papers .

1. "Normal Forms and Cut-Free Proofs as Natural Transformations", by
J-Y. Girard, A. Scedrov, and P. J. Scott.  This paper appeared in MSRI
Publications (Logic from Computer Science), Y. Moschovakis, ed.,
Vol.21 (Springer-Verlag), 1992, pp.  217-241.

Due to an error by Springer-Verlag, appropriate sizes of LateX fonts
(for mathematics symbols) were not loaded into the printer for this
volume (ours was not the only paper affected). Hence the published
version of the above paper is almost unreadable in critical places.
This is the complete original paper, with the authors' addresses
updated.

In brief, the paper is about parametricity, composition of definable
dinatural transformations, and Wadler's equations.

2. "On the \pi-Calculus and Linear Logic" by G. Bellin and P. J.
Scott.  To appear in Theoretical Computer Science (1994), Proceedings
Mathematical Foundations of Programming Semantics 8 (MFPS 8).

This is a considerably revised version of the original ftp-able
preprint and LFCS report.

             Sincerely,

             Philip Scott
             Dept. of Mathematics
             University of Ottawa
             Ottawa, Ont. Canada

             e-mail:  scpsg@acadvm1.uottawa.ca
              or      phil@csi.uottawa.ca

• Prev: Thesis on type inference for object-oriented languages available
• Next: CFP: ECOOP 94 W/S on Economic Impact of OO and Reuse Based
• Index(es):
  • Main
  • Thread