<meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>λδ home page</title>
<meta content="Ferruccio Guidi" name="author">
<meta content="The formal system λδ" name="description">
<link rel="shortcut icon" href="images/crux_16.ico"></head><body>
<div style="text-align: center;"> <br>
<meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>λδ home page</title>
<meta content="Ferruccio Guidi" name="author">
<meta content="The formal system λδ" name="description">
<link rel="shortcut icon" href="images/crux_16.ico"></head><body>
<div style="text-align: center;"> <br>