X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fdocumentation.html;h=2ff59112bdb6f718b0628491205eaed22450ea43;hb=e17e8a363454a2a1ce9629a5f99d72196d8592a1;hp=71f208233f099f9f929e5a8d3567a5a92d6d06ff;hpb=cc57e6f6528ccc871a4d52d2ce4859c4a76fc0ca;p=helm.git diff --git a/helm/www/lambda_delta/documentation.html b/helm/www/lambda_delta/documentation.html index 71f208233..2ff59112b 100644 --- a/helm/www/lambda_delta/documentation.html +++ b/helm/www/lambda_delta/documentation.html @@ -1,80 +1,86 @@ - + -
- -
-
|
-
- Documentation
-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. -
- |
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. + |
+ Documentation
+ 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. +
+ |
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:
@@ -85,274 +91,265 @@ 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). | -
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). | +
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). + |
+