X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fdocumentation.html;h=4e85dbaae92d472ab7deb644c18440ba68754c85;hb=7a9a72fcbad46e7de5714a6a2eeb8b32e95e1ed5;hp=425084d70d3e30bd4b65168a54c8feb9fedcfd99;hpb=158da000d9934317055becd9c221c15395970982;p=helm.git diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 425084d70..4e85dbaae 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -10,7 +10,7 @@

- [Crux Logo] + [Crux Logo]

The Formal System λδ (\lambda\delta)

Towards the unification of terms, types, environments and @@ -133,9 +133,9 @@ Guidi: 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 @@ -299,4 +299,4 @@ Guidi:

- \ No newline at end of file +