- lambda-delta home page
+ lambda_delta home page
-
+
@@ -13,7 +13,7 @@
-
The Formal System λδ (lambda-delta)
+
The Formal System λδ (lambda_delta)
Towards the unification of terms, types, environments and contexts
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
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;">
+ src="download/PNGnow2.png">