X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Findex.ldw.xml;h=7f07c502b78e68e7035c46ea78db6cc1e8ab1248;hb=e36a0eced135e6f1b79d06c78a408918f65376b6;hp=677e33bd9b833604b59a3cf38b1f8a795e821280;hpb=644307df315b855c3851f813b04d562acf2db9bc;p=helm.git diff --git a/helm/www/lambdadelta/web/home/index.ldw.xml b/helm/www/lambdadelta/web/home/index.ldw.xml index 677e33bd9..7f07c502b 100644 --- a/helm/www/lambdadelta/web/home/index.ldw.xml +++ b/helm/www/lambdadelta/web/home/index.ldw.xml @@ -18,15 +18,14 @@ λδ is developed in the context of the Hypertextual Electronic Library of Mathematics as a machine-checked digital specification - that is not the formal counterpart of some previously published informal material. + that is not the formal counterpart of previous informal material. This is the System logo: crux_177.png - (revised ). + (revised ). - - Notice for the Internet Explorer user + To view this site correctly, please select a font with Unicode support. For example "Lucida Sans Unicode" (it should be already installed on your system). @@ -34,5 +33,48 @@ "Tools" menu → "Internet Options" entry → "General" tab → "Fonts" button. + + + Citations + + This is a list of publications citing λδ (not including our own). + + + + A. Asperti, W. Ricciotti, C. Sacerdoti Coen, E. Tassi: + + (2012). In JAR 49(3), pp. 427-451. + + + + M.E. Maietti: + + (2012). Submitted article. + + + + W. Ricciotti: + + (July 2011). Ph.D. Thesis in Computer Science, Technical Report UBLCS-2011-09, University of Bologna. + + + + C.E. Brown: + + (2011). Typescript note. + + + + M.E. Maietti: + + (2009). In APAL 160(3), pp. 319-354. + + + + V. Rahili: + + (July 2007). Typescript note. + +