sw99@w3.org from January to March 2000 by thread

Fw: Proof-carrying authentication Re: Thanks Tim Berners-Lee (Friday, 17 March)

RE: DARPA Agent Based Computing thingy Bob Boeri (Tuesday, 8 February)

more proof checking goodies... Dan Connolly (Wednesday, 19 January)

QED: discussion of proof languages Dan Connolly (Thursday, 13 January)

Last message date: Tuesday, 28 March 2000 13:37:50 UTC