X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Findex.html;h=9c266a31e557610c2b8456add221d077d31ac30e;hb=24463efd3724f32c9de2683a0e4a13aacf311428;hp=abc24b14e3b258f222746342dcce44a524836058;hpb=fba2975ffd09ffb30a60500725c9991421445f37;p=helm.git diff --git a/helm/www/lambda_delta/index.html b/helm/www/lambda_delta/index.html index abc24b14e..9c266a31e 100644 --- a/helm/www/lambda_delta/index.html +++ b/helm/www/lambda_delta/index.html @@ -2,9 +2,9 @@ - lambda-delta home page + lambda_delta home page - + @@ -13,7 +13,7 @@ [Crux Logo] -

The Formal System λδ (lambda-delta)
+

The Formal System λδ (lambda_delta)

Towards the unification of terms, types, environments and contexts

[Separator] The formal system λδ -(lambda-delta) is a typed lambda calculus that pursues the static and +(lambda_delta) is a typed lambda calculus that pursues the static and dynamic unification of terms, types, environments and contexts while enjoying a well-conceived meta-theory, which includes the commonly desired properties.
@@ -80,10 +80,10 @@ user [Butterfly] To view this site correctly, please select a font with Unicode -support.
+support. For example Lucida Sans Unicode -(it should be already installed on your system).
-To change the current font follow:
+(it should be already installed on your system). +To change the current font follow: "Tools" menu → "Internet Options" entry → "General" tab → "Fonts" button.
@@ -98,13 +98,13 @@ Options" entry → "General" tab → "Fonts" button.
style="border: 0px solid ; width: 88px; height: 31px;"> [Use Any Browser Here] [PNG Used Here]
+ src="download/PNGnow2.png">

-Last update 2010-12-14 by Ferruccio +Last update 2011-09-09 by Ferruccio Guidi