Re: [mizar] Strong Mizar wish: linking to consider (fwd)

[Andrea Asperti <asperti@CS.UniBO.IT>]

On Wed, 20 Mar 2002, Freek Wiedijk wrote:

> Dear Andrea,
> 
> >It could be true. For the moment I would be already happy to
> >reach some agreement on the representation of mathematical
> >EXPRESSIONS.
> 
> Are you talking about terms here, or do you also mean
> formulas when you say expressions?

Also Formulas, yes.

> By the way: does MathML have a concept of "types"?  

Not at present, but the question was raised during the
last meeting of the WG in Nice, and we hope to get
to a satisfactory solution. There is a subWG considering
this issue.

Best wishes.
					-- andrea