X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Findex.html;h=649743baf67d0d4891dff2512c3cca08abd40a7f;hb=ae47e671a2e5b1c6498e62e0fd8703cea7ba53b2;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..649743baf 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.
@@ -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