From 9dc1381d33c3040062c465639ad736caae57de42 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Tue, 25 Feb 2014 22:00:03 +0000 Subject: [PATCH] relabelled documantation entries --- helm/www/lambdadelta/documentation.html | 530 +++++++++++------------- 1 file changed, 247 insertions(+), 283 deletions(-) diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 4e85dbaae..9578f9853 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -1,302 +1,266 @@ - - - - - - λδ home page - - - - -
-
- [Crux Logo] -

The Formal System λδ (\lambda\delta)
-

-

Towards the unification of terms, types, environments and - contexts

- [Separator]
- + + + + + λδ home page + + + + + +

+[Crux Logo] +

The Formal System λδ (\lambda\delta)
+

+

Towards the unification of terms, types, environments and contexts

+[Separator]
+
+ + + + + + +
+ + +
    +
  • Papers
  • +
+ +
+

Documentation [Butterfly]

+Currently the main source of +information on λδ (version 1) is Resource J1 below.
+A summary of basic λδ (version +1) is found in Resource P5 +below.
+

[Basic
+                  lambdadelta Logo] Basic λδ version +2 (in progress):

+ - - + + + +
- - -
    -
  • Papers
  • -
- +
R5.
-

Documentation [Butterfly]

- Currently the main - source of - information on λδ (version 1) is Resource - 1.9 below.
- A summary of - basic λδ (version - 1) is found in Resource - 1.5 - below.
-

[Basic
-                  lambdadelta Logo] Basic λδ version 2 (in - progress):

- - - - - - - - - + + + + + + + + + + + + + + +
2.4.
-
F. - Guidi: An - Efficient - Validation Procedure for the Formal System λδ - (2010-07). - In CiE 2010 - Local Proceedings. - University of Azores, CMATI Booklet, pp. 204-213. - BibTeX entry.
-
-
2.3.
-
F. -Guidi: + F. +Guidi: An Efficient Validation Procedure for the +Formal System λδ (2010-07). +In CiE 2010 Local Proceedings. +University of Azores, CMATI Booklet, pp. 204-213. BibTeX entry.
+
+
R4.
+
F. +Guidi: Landau's "Grundlagen der Analysis" from +Automath to lambda-delta (2009-09). +University of Bologna, technical report UBLCS-2009-16. BibTeX entry.
+
+
P7.
+
F. +Guidi: An Efficient Validation Procedure for the +Formal System λδ (2010-07). +Presentation at CiE 2010 (slides).
+
+
P6.
+
F. +Guidi: A Validator for the Formal System λδ +(revised 2010-02). +Presentation at the University of Bologna (slides).
+

[Basic
+                  lambdadelta Logo] Basic λδ version +1 (dismissed):

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - -
J1.
+
F. +Guidi: The Formal System λδ (2009-11). In ACM ToCL 11(1), pp. +5:1-5:37 (accepted + 2008-07). CoRR +identifier cs/0611040 [v10] (revised 2008-09). BibTeX entry.
+
+
R3.
+
F. +Guidi: Lambda Types on the Lambda Calculus with +Abbreviations (2007-06). +In CiE 2007 Local Proceedings. +University of Siena, technical report 487, p. 387 (abstract of a +presentation). BibTeX entry.
+
+
R2.
+
F. +Guidi: Lambda Types on the Lambda Calculus with +Abbreviations (2006-11). +University of Bologna, technical report UBLCS-2006-25. BibTeX entry.
+
+
R1.
+
F. +Guidi: Lambda +Types on the Lambda Calculus with Abbreviations: a Certified +Specification (2006-01). +University of Bologna, technical report UBLCS-2006-01. BibTeX entry.
+
+
P5.
+
F. +Guidi: The + +Formal System λδ (2008-10). Presentation at "Advances +in Constructive Topology and Logical Foundations" (slides).
+
+
P4.
+
F. +Guidi: Towards the Unification of Terms, Types +and Contexts (2008-03). +Presentation at Types 2008 (slides).
+
+
P3.
+
F. +Guidi: Lambda Types on the Lambda Calculus with +Abbreviations (2007-06). +Presentation at CiE 2007 (slides).
+
+
P2.
+
F. +Guidi: Lambda Tipi sul Lambda Calcolo con +Abbreviazioni (2007-01). - Landau's - "Grundlagen der Analysis" from Automath to - lambda-delta (2009-09). - University of - Bologna, technical report UBLCS-2009-16. BibTeX entry.
-
-
2.2.
-
F. - Guidi: An - Efficient - Validation Procedure for the Formal System λδ - (2010-07). - Presentation - at - CiE - 2010 - (slides).
-
-
2.1.
-
F. - Guidi: A - Validator - for the Formal System λδ (revised 2010-02). - Presentation - at - the - University - of - Bologna - (slides).
-

[Basic
-                  lambdadelta Logo] Basic λδ version 1 - (dismissed):

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
1.9.
-
F. -Guidi: - The Formal System - λδ (2009-11). In ACM ToCL 11(1), - pp. 5:1-5:37 - (accepted - 2008-07). - CoRR - identifier cs/0611040 - [v10] (revised 2008-09). - BibTeX - entry.
-
-
1.8.
-
F. - Guidi: Lambda - Types on the Lambda Calculus with - Abbreviations (2007-06). - In CiE 2007 - Local Proceedings. - University - of - Siena, - technical - report - 487, - p. - 387 - (abstract - of - a - presentation). BibTeX - entry.
-
-
1.7.
-
F. - Guidi: Lambda Types on - the Lambda Calculus with - Abbreviations (2006-11). - University - of - Bologna, - technical - report - UBLCS-2006-25. BibTeX - entry.
-
-
1.6.
-
F. - Guidi: Lambda - Types - on - the - Lambda - Calculus - with - Abbreviations: - a - Certified - Specification (2006-01). - University of - Bologna, technical report UBLCS-2006-01. BibTeX entry.
-
-
1.5.
-
F. - Guidi: The - Formal - System λδ - (2008-10). - Presentation at - "Advances in Constructive Topology and Logical - Foundations" (slides).
-
-
1.4.
-
F. - Guidi: Towards - the Unification of Terms, Types - and Contexts (2008-03). - Presentation - at - Types - 2008 - (slides).
-
-
1.3.
-
F. - Guidi: Lambda - Types on the Lambda Calculus with - Abbreviations (2007-06). - Presentation - at - CiE - 2007 - (slides).
-
-
1.2.
-
F. - Guidi: Lambda - Tipi sul Lambda Calcolo con - Abbreviazioni (2007-01). - Presentation - at - the - University - of - Padova - (slides in - Italian).
-
-
1.1.
-
F. -Guidi: - Lambda Tipi sul - Lambda Calcolo con - Abbreviazioni: una Specifica Certificata - (2005-12). - Presentation at - the University of Bologna (slides in - Italian).
-
+Presentation at the University of Padova (slides in Italian).
+
+
P1.
+
F. +Guidi: Lambda Tipi sul Lambda Calcolo con +Abbreviazioni: una Specifica Certificata (2005-12). Presentation at the +University of Bologna (slides in +Italian).
-
- [Valid HTML 4.01 Transitional] [Use Any
-          Browser Here] [PNG Used Here]
-
- Last update 2012-12-02 by Ferruccio - Guidi
- - +
+
+[Valid HTML 4.01 Transitional] [Use Any
+          Browser Here] [PNG Used Here]
+
+Last update 2014-02-25 by Ferruccio - +Guidi
+
+ + -- 2.39.2