Kripke paper

• To: types
• Subject: Kripke paper
• From: Gerry Allwein <gtall@ogre.cica.indiana.edu>
• Date: Sat, 11 Jan 92 20:31:56 EST
• Sender: meyer@theory.lcs.mit.edu

Date: Fri, 10 Jan 92 14:09:50 EST
To: linear@cs.stanford.edu

Folks, just a brief note since this seems to have confused people. The
Kripke paper Mike Dunn and I put for ftping is a Plain TeX document, not
a Latex document.

Gerry

• Prev: Kripke Models for Linear Logic
• Next: Re: Linear notation
• Index(es):
  • Main
  • Thread