[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Bison function argument style
From: |
Akim Demaille |
Subject: |
Re: Bison function argument style |
Date: |
Wed, 20 Nov 2002 12:35:30 +0100 |
User-agent: |
Gnus/5.090008 (Oort Gnus v0.08) Emacs/21.2 (i386-pc-linux-gnu) |
Paul> I think Leslie Lamport has had something to say about proof, at least,
Paul> and possibly notation.
Yep, he did:
http://research.microsoft.com/users/lamport/pubs/lamport-how-to-write.ps.Z
He also wrote something about formulae, but it doesn't appear to be
public.