- 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.
@@ -98,13 +98,13 @@ Options" entry â "General" tab â "Fonts" button.
style="border: 0px solid ; width: 88px; height: 31px;">
+ src="download/PNGnow2.png">