[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] Medice, cura te ipsum

On Mon, Jul 29, 2002 at 03:45:28PM +0200, Andrzej Trybulec wrote:

> Piotr Rudnicki and Adam Naumowicz recently discuss semantics and syntax of
> Functor Cluster Registration, in private.

Fascinating, I did not know about it.

-- 
Piotr Rudnicki              CompSci, University of Alberta, Edmonton, Canada
email: piotr@cs.ualberta.ca                 http://web.cs.ualberta.ca/~piotr