<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>
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>
+(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>
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>
+ src="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>