10,401 research outputs found
Yet another normalisation proof for Martin-Lof's logical framework--Terms with correct arities are strongly normalising
In this paper, we prove the strong normalisation for Martin-L\"{o}f's Logical
Framework, and suggest that {}``correct arity'', a condition weaker than
well-typedness, will also guarantee the strong normalisation.Comment: 19 page
On conformal surfaces of annulus type
Let and be a conformal map from
into , with . Then with
and is a moving frame on . It satisfies
the following equation where is the Hodge star
operator on with respect to the standard metric.
We will study the Dirichret energy of this frame and give some applications.Comment: Some typos have been polished and I find that the best constant for
L^infinity norm in Wente inequality has been established by Topping in a
paper dated to 199
- β¦