X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fdocumentation.html;h=982e136303db85c117620a508328c5c0742e235b;hb=37e1b4f314ffae815beca71300688040f8da6939;hp=1ebf1f76fdddb888c4af9b3dfe8bfc8043770033;hpb=296f79ae045db68312a245e4111afb554561de42;p=helm.git
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index 1ebf1f76f..982e13630 100644
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -72,7 +72,7 @@
notice
- visibility
+ citations
|
version 1
@@ -95,13 +95,15 @@
BibTeX database of λδ documentation:
+ download
lambdadelta.bib,
+ view
lambdadelta.txt
(revised 2014-10).
- ![lambdadelta butterfly [spacer]](http://lambdadelta.info/images/b4.png) λδ version 2 (in progress)
+ λδ version 2 (ongoing)
The main source of information is P8.
@@ -197,7 +199,7 @@
|
J1.
|
- F. Guidi: The Formal System λδ (2009-11). In In ACM ToCL 11(1), pp. 5:1-5:37 ( accepted
+ | F. Guidi: The Formal System λδ (2009-11). In ACM ToCL 11(1), pp. 5:1-5:37 (accepted
2008-07). CoRR identifier cs/0611040 [v10] (revised 2008-09). BibTeX entry. |
@@ -344,6 +346,6 @@
- Last update: Thu, 09 Oct 2014 20:11:23 +0200
+ Last update: Wed, 22 Oct 2014 20:00:28 +0200