X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fdocumentation.html;h=2ff59112bdb6f718b0628491205eaed22450ea43;hb=6906417a548f47a888fa5a43470dc3c5d7e4442b;hp=e7f836acc7eedd42aee3203ed85975461bae721f;hpb=fba2975ffd09ffb30a60500725c9991421445f37;p=helm.git diff --git a/helm/www/lambda_delta/documentation.html b/helm/www/lambda_delta/documentation.html index e7f836acc..2ff59112b 100644 --- a/helm/www/lambda_delta/documentation.html +++ b/helm/www/lambda_delta/documentation.html @@ -1,80 +1,86 @@ - + - - - lambda-delta 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 -1.1 below.
-A summary of basic λδ (version -1) is found in Resource 1.5 -below.
-

[Basic lambda-delta Logo] Basic λδ version 2:

- + + + lambda_delta home page + + + + + +
+
+ [Crux Logo] +

The Formal System λδ (lambda_delta)
+

+

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

+ [Separator]
+
- - - - - -
2.1.
+ 		+ + +
    +
  • Papers
    • +
+ 		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.2.
- 		F. + +

Documentation [Butterfly]

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

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

+ + + + + + + + + - - - - - - - - - - -
2.1.
+ 		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.2.
+ 		F. Guidi: @@ -84,270 +90,266 @@ Guidi: - Landau's -"Grundlagen der Analysis" from Automath to lambda-delta (2009-09). University of -Bologna, technical report UBLCS-2009-16. BibTeX entry.
-
-
2.3.
- 		F. Guidi: An -Efficient -Validation Procedure for the Formal System λδ (2010-07). Presentation -at -CiE -2010 -(slides).
-
-
2.4.
- 		F. Guidi: A -Validator -for the Formal System λδ (revised 2010-02). Presentation -at -the -University -of -Bologna -(slides).
-

[Basic lambda-delta Logo] Basic λδ version 1:

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + +
1.1.
- 		F. -Guidi: The Formal System λδ (2009-10). In ACM ToCL 11(1), Article -No. 5 (accepted - 2008-07). CoRR -identifier cs/0611040 [v10] (revised 2008-09). BibTeX -entry.
-
-
1.2.
- 		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.3.
- 		F. Guidi: Lambda Types on the Lambda Calculus with -Abbreviations (2006-11). -University -of -Bologna, -technical -report -UBLCS-2006-25. - - - - - - - - - - - BibTeX -entry.
-
-
1.4.
- 		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 lambda-delta -(2008-10). Presentation at -"Advances in Constructive Topology and Logical Foundations" (slides).
-
-
1.6.
- 		F. Guidi: Towards the Unification of Terms, Types -and Contexts (2008-03). -Presentation -at -Types -2008 -(slides).
-
-
1.7.
- 		F. Guidi: Lambda Types on the Lambda Calculus with -Abbreviations (2007-06). -Presentation -at -CiE -2007 -(slides).
-
-
1.8.
- 		F. Guidi: Lambda Tipi sul Lambda Calcolo con -Abbreviazioni (2007-01). -Presentation -at -the -University -of -Padova -(slides - - - - - - - in -Italian).
-
-
1.9.
- 		F. -Guidi: Lambda Tipi sul Lambda Calcolo con -Abbreviazioni: una Specifica Certificata (2005-12). Presentation at -the University of Bologna (slides in -Italian).
+ Landau's + "Grundlagen der Analysis" from Automath to + lambda-delta (2009-09). + University of + Bologna, technical report UBLCS-2009-16. BibTeX entry.
+
+
2.3.
+ 		F. + Guidi: An + Efficient + Validation Procedure for the Formal System λδ + (2010-07). + Presentation + at + CiE + 2010 + (slides).
+
+
2.4.
+ 		F. + Guidi: A + Validator + for the Formal System λδ (revised 2010-02). + Presentation + at + the + University + of + Bologna + (slides).
+

[Basic + lambda_delta Logo] Basic λδ version 1 + (closed):

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
1.1.
+ 		F. +Guidi: + The Formal System + λδ (2009-10). In ACM ToCL 11(1), + Article + No. 5 (accepted + 2008-07). + CoRR + identifier cs/0611040 + [v10] (revised 2008-09). + BibTeX + entry.
+
+
1.2.
+ 		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.3.
+ 		F. + Guidi: Lambda Types on + the Lambda Calculus with + Abbreviations (2006-11). + University + of + Bologna, + technical + report + UBLCS-2006-25. BibTeX + entry.
+
+
1.4.
+ 		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 lambda-delta + (2008-10). + Presentation at + "Advances in Constructive Topology and Logical + Foundations" (slides).
+
+
1.6.
+ 		F. + Guidi: Towards + the Unification of Terms, Types + and Contexts (2008-03). + Presentation + at + Types + 2008 + (slides).
+
+
1.7.
+ 		F. + Guidi: Lambda + Types on the Lambda Calculus with + Abbreviations (2007-06). + Presentation + at + CiE + 2007 + (slides).
+
+
1.8.
+ 		F. + Guidi: Lambda + Tipi sul Lambda Calcolo con + Abbreviazioni (2007-01). + Presentation + at + the + University + of + Padova + (slides in + Italian).
+
+
1.9.
+ 		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 2010-12-14 by Ferruccio -Guidi
-
- +
+ [Valid HTML 4.01 Transitional] [Use Any + Browser Here] [PNG Used Here]
+
+ Last update 2012-02-24 by Ferruccio + Guidi
+ +