X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fdocumentation.html;h=9578f98533ead4a5441ed38050b1d193c1ea0782;hb=9dc1381d33c3040062c465639ad736caae57de42;hp=4e85dbaae92d472ab7deb644c18440ba68754c85;hpb=6c0df00ed5a72225c6d84f232c623f4ebf1128c4;p=helm.git 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 @@ - -
- - - -
+
|
+
+ Documentation
+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. +
+ |
+
-
| R5. |
-
- Documentation
- 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. -
- |
+
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). | +
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). | -
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). - |
-