<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>
<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]"
style="width: 37px; height: 37px;" alt="[Butterfly]" title="Butterfly"
src="download/b9.png"></h3>
The formal system λδ
-(lambda-delta) is a typed lambda calculus that pursues the static and
+(lambda_delta) is a typed lambda calculus that pursues the static and
dynamic unification of terms, types, environments and contexts while
enjoying a well-conceived meta-theory, which includes the commonly
desired properties.<br>
mechanism, so the calculus can serve as a formal specification language
for the type theories that need a predicative foundation. λδ is
expected to have the expressive power of λ→.<br>
+ <br>
+λδ comes in several versions listed in the following table, which
+includes the major milestones:<br>
+ <br>
+ <table style="text-align: left; width: 100%;" border="1"
+ cellpadding="2" cellspacing="0">
+ <tbody>
+ <tr>
+ <td
+ style="vertical-align: top; background-color: rgb(223, 223, 223); text-align: center;">Version<br>
+ </td>
+ <td
+ style="vertical-align: top; background-color: rgb(223, 223, 223); text-align: center;">Name<br>
+ </td>
+ <td
+ style="vertical-align: top; background-color: rgb(223, 223, 223); text-align: center;">Started<br>
+ </td>
+ <td
+ style="vertical-align: top; background-color: rgb(223, 223, 223); text-align: center;">Released<br>
+ </td>
+ <td
+ style="vertical-align: top; background-color: rgb(223, 223, 223); text-align: center;">Dismissed<br>
+ </td>
+ </tr>
+ <tr>
+ <td
+ style="vertical-align: top; background-color: rgb(255, 223, 191);">2<br>
+ </td>
+ <td
+ style="vertical-align: top; background-color: rgb(255, 223, 191);">basic_2<br>
+ </td>
+ <td
+ style="vertical-align: top; background-color: rgb(255, 223, 191);">April
+2011<br>
+ </td>
+ <td
+ style="vertical-align: top; background-color: rgb(255, 223, 191);">planned
+in
+2013<br>
+ </td>
+ <td
+ style="vertical-align: top; background-color: rgb(255, 223, 191);">not
+planned yet<br>
+ </td>
+ </tr>
+ <tr>
+ <td
+ style="vertical-align: top; background-color: rgb(255, 191, 191);">1<br>
+ </td>
+ <td
+ style="vertical-align: top; background-color: rgb(255, 191, 191);">basic_1<br>
+ </td>
+ <td
+ style="vertical-align: top; background-color: rgb(255, 191, 191);">May
+2004<br>
+ </td>
+ <td
+ style="vertical-align: top; background-color: rgb(255, 191, 191);">November
+2006<br>
+ </td>
+ <td
+ style="vertical-align: top; background-color: rgb(255, 191, 191);">May
+2008<br>
+ </td>
+ </tr>
+ </tbody>
+ </table>
+ <br>
<h3 style="text-align: right;">Notice
for
the
title="Butterfly" src="download/b3.png"></h3>
To view this site
correctly, please select a font with <a href="http://www.unicode.org/">Unicode</a>
-support.<br>
+support.
For example <span style="font-weight: bold;">Lucida Sans Unicode</span>
-(it should be already installed on your system).<br>
-To change the current font follow: <br>
- <span style="font-weight: bold;">"Tools" menu → "Internet
+(it should be already installed on your system).
+To change the current font follow: <span style="font-weight: bold;">"Tools"
+menu
+→ "Internet
Options" entry → "General" tab → "Fonts" button.</span><br>
</td>
</tr>
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>
+ title="PNG Used Here" src="download/PNGnow2.png"><br>
<br>
-Last update 201
0-12-14 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
+Last update 201
2-11-20 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
Guidi</a><br>
</div>
</body>
projects / helm.git / blobdiff