update in basic_2 and apps_2 ...

[helm.git] / helm / www / lambdadelta / index.html

diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html
index 8a582d04c4bc8ae17bdaff2e8c444b7a9c8c9682..14c85248a66dfe13211d6c9c3287af1fcd3c61df 100644 (file)
--- a/helm/www/lambdadelta/index.html
+++ b/helm/www/lambdadelta/index.html
@@ -136,15 +136,15 @@
     <ul xmlns:ld="http://lambdadelta.info/" id="C7">
       <li>
       C. Dunchev, F. Guidi, C. Sacerdoti Coen, E. Tassi:
-      <span class="emph alpha">ELPI: fast, Embeddable, λProlog Interpreter</span>
-      (2015). In proc. of LPAR 20. LNCS 9450, pp. 460-468.
+      <span class="emph alpha">ELPI: Fast, Embeddable, λProlog Interpreter</span>
+      (2015). In proc. of LPAR 20. Lecture Notes in Computer Science, 9450, pp. 460-468. Springer.
    </li>
     </ul>
     <ul xmlns:ld="http://lambdadelta.info/" id="C6">
       <li>
       A. Asperti, W. Ricciotti, C. Sacerdoti Coen, E. Tassi:
       <span class="emph alpha">Formal metatheory of programming languages in the Matita interactive theorem prover</span>
-      (2012). In JAR 49(3), pp. 427-451.
+      (2012). In Journal of Automated Reasoning, 49(3), pp. 427-451. Springer.
    </li>
     </ul>
     <ul xmlns:ld="http://lambdadelta.info/" id="C5">
@@ -172,7 +172,7 @@
       <li>
       M.E. Maietti:
       <span class="emph alpha">A minimalist two-level foundation for constructive mathematics</span>
-      (2009). In APAL 160(3), pp. 319-354.
+      (2009). In Annals of Pure and Applied Logic, 160(3), pp. 319-354. Elsevier. 
    </li>
     </ul>
     <ul xmlns:ld="http://lambdadelta.info/" id="C1">
@@ -186,15 +186,15 @@
     <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="disclaimer">Disclaimer <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b9.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
-      The systens of the λδ family <span xmlns="http://lambdadelta.info/" class="emph">are not</span> related intentionally to any other system
+      The systens of the λδ family <span class="emph alpha">are not</span> related intentionally to any other system
       having (variations of) the symbols λ and δ in its name or syntax.
       Examples include (but are not limited to):
    </div>
     <ul xmlns:ld="http://lambdadelta.info/" id="D1">
       <li>
-        <span xmlns="http://lambdadelta.info/" class="emph">λ-δ</span> of
+        <span class="emph alpha">λ-δ</span> of
       A. Church:
-      <span xmlns="http://lambdadelta.info/" class="emph">The calculi of lambda-conversion</span>
+      <span class="emph alpha">The calculi of lambda-conversion</span>
       (1941).
       Annals of Mathematics Studies 6.
       Princeton University Press.
@@ -202,9 +202,9 @@
     </ul>
     <ul xmlns:ld="http://lambdadelta.info/" id="D2">
       <li>
-        <span xmlns="http://lambdadelta.info/" class="emph">∆Λ</span> of
+        <span class="emph alpha">∆Λ</span> of
       N.G. de Bruijn:
-      <span xmlns="http://lambdadelta.info/" class="emph">Generalizing Automath by means of a lambda-typed lambda calculus</span>
+      <span class="emph alpha">Generalizing Automath by means of a lambda-typed lambda calculus</span>
       (1987).
       In Lecture Notes in Pure and Applied Mathematics 106, pp. 71-92.
       Marcel Dekker.
@@ -212,10 +212,10 @@
     </ul>
     <ul xmlns:ld="http://lambdadelta.info/" id="D3">
       <li>
-        <span xmlns="http://lambdadelta.info/" class="emph">λ<sub>∆</sub>
+        <span class="emph alpha">λ<sub>∆</sub>
         </span> of
       N.J. Rehof, M.H. Sørensen:
-      <span xmlns="http://lambdadelta.info/" class="emph">The λ<sub>∆</sub>-calculus</span>
+      <span class="emph alpha">The λ<sub>∆</sub>-calculus</span>
       (1994).
       In Lecture Notes in Computer Science, 789, pp. 516–542.
       Springer.
@@ -223,9 +223,9 @@
     </ul>
     <ul xmlns:ld="http://lambdadelta.info/" id="D4">
       <li>
-        <span xmlns="http://lambdadelta.info/" class="emph alpha">λ∆</span> of
+        <span class="emph alpha">λ∆</span> of
       S. Ronchi Della Rocca, L. Paolini:
-      <span xmlns="http://lambdadelta.info/" class="emph">The Parametric Lambda Calculus</span>
+      <span class="emph alpha">The Parametric Lambda Calculus</span>
       (2004).
       Texts in Theoretical Computer Science, An EATCS Series.
       Springer.
@@ -233,18 +233,18 @@
     </ul>
     <ul xmlns:ld="http://lambdadelta.info/" id="D5">
       <li>
-        <span xmlns="http://lambdadelta.info/" class="emph">λD</span> of
+        <span class="emph alpha">λD</span> of
       R. Nederpelt, H. Geuvers:
-      <span xmlns="http://lambdadelta.info/" class="emph">Type Theory and Formal Proof</span>
+      <span class="emph alpha">Type Theory and Formal Proof</span>
       (2014).
       Cambridge University Press.
    </li>
     </ul>
     <ul xmlns:ld="http://lambdadelta.info/" id="D6">
       <li>
-        <span xmlns="http://lambdadelta.info/" class="emph">Cλξ</span> of
+        <span class="emph alpha">Cλξ</span> of
       N.G. de Bruijn:
-      <span xmlns="http://lambdadelta.info/" class="emph">A namefree lambda calculus with facilities for internal definition of expressions and segments</span>
+      <span class="emph alpha">A namefree lambda calculus with facilities for internal definition of expressions and segments</span>
       (1978).
       TH-report 78-WSK-03.
       Eindhoven University of Technology, Eindhoven.
@@ -276,6 +276,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 30 Dec 2015 12:08:04 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 27 Mar 2016 18:42:29 +0200</div>
   </body>
 </html>