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

Bob Boeri

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

Dan Connolly

• Re: more proof checking goodies... (Thursday, 20 January)
• more proof checking goodies... (Wednesday, 19 January)
• QED: discussion of proof languages (Thursday, 13 January)

Ralph R. Swick

• RE: DARPA Agent Based Computing thingy (Wednesday, 9 February)

Tim Berners-Lee

• Fw: Proof-carrying authentication Re: Thanks (Friday, 17 March)

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