X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fdocumentation.html;h=4e85dbaae92d472ab7deb644c18440ba68754c85;hb=22d35425b8f5f7e479db3be59b73f76d77ae6711;hp=0bb864a9cbf5e62fb94aea5402a7faf390ac04bd;hpb=c259a5f9cacd93550e80d2195ff4bf68a0d55ddb;p=helm.git diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 0bb864a9c..4e85dbaae 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -1,6 +1,7 @@ + λδ home page @@ -9,7 +10,7 @@

- [Crux Logo] + [Crux Logo]

The Formal System λδ (\lambda\delta)

Towards the unification of terms, types, environments and @@ -38,7 +39,7 @@ Currently the main source of information on λδ (version 1) is Resource - 1.1 below.
+ 1.9 below.
A summary of basic λδ (version 1) is found in Resource @@ -50,7 +51,7 @@ - - - -
2.1.
+ 		2.4.
 F. Guidi: An @@ -65,7 +66,7 @@
2.2.
+ 		2.3.
 F. Guidi: @@ -89,7 +90,7 @@ Guidi:
2.3.
+ 		2.2.
 F. Guidi: An @@ -105,7 +106,7 @@ Guidi:
2.4.
+ 		2.1.
 F. Guidi: A @@ -127,14 +128,14 @@ Guidi: - - - - - - - -
1.1.
+ 		1.9.
 F. Guidi: The Formal System - λδ (2009-10). In ACM ToCL 11(1), - Article - No. 5 (accepted + λδ (2009-11). In ACM ToCL 11(1), + pp. 5:1-5:37 + (accepted 2008-07). CoRR identifier cs/0611040 @@ -145,7 +146,7 @@ Guidi:
1.2.
+ 		1.8.
 F. Guidi: Lambda @@ -170,7 +171,7 @@ Guidi:
1.3.
+ 		1.7.
 F. Guidi: Lambda Types on @@ -187,7 +188,7 @@ Guidi:
1.4.
+ 		1.6.
 F. Guidi: Lambda @@ -212,7 +213,7 @@ Guidi: F. Guidi: The Formal - System lambdadelta + System λδ (2008-10). Presentation at "Advances in Constructive Topology and Logical @@ -221,7 +222,7 @@ Guidi:
1.6.
+ 		1.4.
 F. Guidi: Towards @@ -236,7 +237,7 @@ Guidi:
1.7.
+ 		1.3.
 F. Guidi: Lambda @@ -251,7 +252,7 @@ Guidi:
1.8.
+ 		1.2.
 F. Guidi: Lambda @@ -269,7 +270,7 @@ Guidi:
1.9.
+ 		1.1.
 F. Guidi: @@ -291,10 +292,11 @@ Guidi:
[Valid HTML 4.01 Transitional] [Use Any - Browser Here] [PNG Used Here]
+ Browser Here]" title="Use Any Browser Here" src="images/globe_trans.png" style="border: 0px solid ; width: 147px; height: 42px;"> [PNG Used Here]

- Last update 2012-12-01 by Ferruccio + Last update 2012-12-02 by Ferruccio Guidi
- \ No newline at end of file + +