]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/documentation.html
projects / helm.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
Fixes a bug in is_flexible (when checking a meta in subst, we did a recursive
[helm.git] / helm / www / lambda_delta / documentation.html
diff --git a/helm/www/lambda_delta/documentation.html b/helm/www/lambda_delta/documentation.html
index e7f836acc7eedd42aee3203ed85975461bae721f..71f208233f099f9f929e5a8d3567a5a92d6d06ff 100644 (file)
--- a/helm/www/lambda_delta/documentation.html
+++ b/helm/www/lambda_delta/documentation.html
@@ -2,9 +2,9 @@
 <html>
 <head>
   <meta content="text/html; charset=UTF-8" http-equiv="content-type">
-  <title>lambda-delta home page</title>
+  <title>lambda_delta home page</title>
   <meta content="Ferruccio Guidi" name="author">
-  <meta content="The formal system lambda-delta" name="description">
+  <meta content="The formal system lambda_delta" name="description">
   <link rel="shortcut icon" href="download/crux_16.ico">
 </head>
 <body>
@@ -13,7 +13,7 @@
 <a href="http://lambda-delta.info"><img alt="[Crux Logo]"
  title="The Crux" src="download/crux_32.png"
  style="border: 0px solid ; width: 32px; height: 32px;"></a>
-<h1>The Formal System λδ (lambda-delta)<br>
+<h1>The Formal System λδ (lambda_delta)<br>
 </h1>
 <h2>Towards the unification of terms, types, environments and contexts</h2>
 <img style="width: 95%; height: 4px;" alt="[Separator]"
@@ -50,7 +50,7 @@ A <span style="font-weight: bold;">summary</span> of basic λδ (version
 1) is found in <span style="font-weight: bold;">Resource 1.5</span>
 below.<br>
       <h3><img style="width: 32px; height: 32px;"
- alt="[Basic lambda-delta Logo]" title="Basic lambda-delta"
+ alt="[Basic lambda_delta Logo]" title="Basic lambda_delta"
  src="download/basic_32.png"> Basic λδ version 2:</h3>
       <table style="text-align: left; width: 100%;" border="0"
  cellpadding="2" cellspacing="2">
@@ -84,6 +84,7 @@ Guidi:
 
 
 
+
             <a
  href="http://www.cs.unibo.it/pub/TR/UBLCS/ABSTRACTS/2009.bib?ncstrl.cabernet//BOLOGNA-UBLCS-2009-16"><span
  style="font-style: italic;">Landau's
@@ -127,7 +128,7 @@ Bologna
         </tbody>
       </table>
       <h3><img style="width: 32px; height: 32px;"
- alt="[Basic lambda-delta Logo]" title="Basic lambda-delta"
+ alt="[Basic lambda_delta Logo]" title="Basic lambda_delta"
  src="download/basic_32.png"> Basic λδ version 1:</h3>
       <table style="text-align: left; width: 100%;" border="0"
  cellpadding="2" cellspacing="2">
@@ -153,7 +154,7 @@ entry</a>.<br>
             <td style="vertical-align: top;">1.2.<br>
             </td>
             <td style="vertical-align: top;">F. Guidi: <a
- href="http://www.cs.unibo.it/%7Efguidi/download/cie_2007.pdf"><span
+ href="download/cie_2007.pdf"><span
  style="font-style: italic;">Lambda Types on the Lambda Calculus with
 Abbreviations</span></a> (<span style="font-weight: bold;">2007-06</span>).
 In
@@ -169,6 +170,7 @@ In
 
 
 
+
             <span style="font-style: italic;">CiE 2007 Local Proceedings</span>.
 University
 of
@@ -188,6 +190,7 @@ presentation).
 
 
 
+
             <a href="implementation.html#bibtex">BibTeX
 entry</a>.<br>
             <br>
@@ -219,6 +222,7 @@ UBLCS-2006-25.
 
 
 
+
             <a href="implementation.html#bibtex">BibTeX
 entry</a>.<br>
             <br>
@@ -262,7 +266,7 @@ System lambda-delta</a>
             <td style="vertical-align: top;">1.6.<br>
             </td>
             <td style="vertical-align: top;">F. Guidi: <a
- href="http://www.cs.unibo.it/%7Efguidi/download/ld-talk-4.pdf"><span
+ href="download/ld_talk_4s.pdf"><span
  style="font-style: italic;">Towards the Unification of Terms, Types
 and Contexts</span></a> (<span style="font-weight: bold;">2008-03</span>).
 Presentation
@@ -277,7 +281,7 @@ Types
             <td style="vertical-align: top;">1.7.<br>
             </td>
             <td style="vertical-align: top;">F. Guidi: <a
- href="http://www.cs.unibo.it/%7Efguidi/download/ld-talk-3.pdf"><span
+ href="download/ld_talk_3s.pdf"><span
  style="font-style: italic;">Lambda Types on the Lambda Calculus with
 Abbreviations</span></a> (<span style="font-weight: bold;">2007-06</span>).
 Presentation
@@ -292,7 +296,7 @@ CiE
             <td style="vertical-align: top;">1.8.<br>
             </td>
             <td style="vertical-align: top;">F. Guidi: <a
- href="http://www.cs.unibo.it/%7Efguidi/download/ld-talk-2.pdf"><span
+ href="download/ld_talk_2s.pdf"><span
  style="font-style: italic;">Lambda Tipi sul Lambda Calcolo con
 Abbreviazioni</span></a> (<span style="font-weight: bold;">2007-01</span>).
 Presentation
@@ -308,6 +312,7 @@ Padova
 
 
 
+
             <span style="font-weight: bold;">in
 Italian</span>).<br>
             <br>
@@ -318,7 +323,7 @@ Italian</span>).<br>
             </td>
             <td style="vertical-align: top;"><a name="bologna1"></a>F.
 Guidi: <a
- href="http://www.cs.unibo.it/%7Efguidi/download/ld-talk-1.pdf"><span
+ href="download/ld_talk_1s.pdf"><span
  style="font-style: italic;">Lambda Tipi sul Lambda Calcolo con
 Abbreviazioni: una Specifica Certificata</span></a> (<span
  style="font-weight: bold;">2005-12</span>). Presentation at
@@ -340,13 +345,13 @@ Italian</span>).<br>
  style="border: 0px solid ; width: 88px; height: 31px;"></a> <a
  href="http://www.anybrowser.org/campaign/"><img
  alt="[Use Any Browser Here]" title="Use Any Browser Here"
- src="http://www.cs.unibo.it/%7Efguidi/download/globe-trans.png"
+ src="download/globe_trans.png"
  style="border: 0px solid ; width: 147px; height: 42px;"></a> <img
  style="width: 88px; height: 31px;" alt="[PNG Used Here]"
  title="PNG Used Here]"
  src="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"><br>
 <br>
-Last update 2010-12-14 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
+Last update 2011-09-09 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
 Guidi</a><br>
 </div>
 </body>
Unnamed repository; edit this file 'description' to name the repository.