-
|
-
- 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:
-
-
-
-
-
-
-
-
-
-
-
- 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 λδ version 1
- (dismissed):
- 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 lambdadelta
- (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). - |
-
+
+
+
+
-
![Use Any Browser Here [Use Any
- Browser Here]](images/globe_trans.png)
![PNG Used Here] [PNG Used Here]](http://www.cs.unibo.it/%7Efguidi/images/PNGnow2.png)
-
- Last update 2012-12-01 by Ferruccio - Guidi