Re: Affine

• To: linear@CS.Stanford.EDU
• Subject: Re: Affine
• From: Vladimir Alexiev <vladimir@cs.ualberta.ca>
• Date: Thu, 26 Jun 1997 10:21:08 -0600
• Delivery-Date: Mon, 30 Jun 1997 10:28:47 -0500
• In-reply-to: <199706242139.OAA06293@Odin.Stanford.EDU> (message from Peter Freyd on Sun, 22 Jun 1997 17:27:04 -0400 (EDT))
• Sender: lincoln@CS.Stanford.EDU

Thanks to Vaughn and Peter for some nice descriptions of geometrically affine
things, but I think the original question is still not answered: why is affine
logic called affine? I would be very disappointed if the answer is "because
you obtain it by loosening up linear logic a bit, just like you obtain affine
geometry by loosening up linear geometry a bit". I'd imagine that the
*character* of the two "loosening-ups" should be similar.

• Re: Affine
• From: "Vaughan R. Pratt" <pratt@CS.Stanford.EDU>

• Affine
• From: Peter Freyd <pjf@saul.cis.upenn.edu>

• Prev: Implementation issues of compilers
• Next: SAS'97 Call For Participation
• Index(es):
  • Main
  • Thread