![[Crux Logo]](images/crux_32.png "The Crux")
The Formal System λδ (\lambda\delta)
Towards the unification of terms, types, environments and contexts
![[Separator]](images/rainbow.png "Separator")
|
Documentation
|
![[Butterfly]](images/b5.png "Butterfly")
| R5. |
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. |
| P8. |
F.Guidi:
The Formal System λδ and the "Three
Problems" (2014-06).
Presentation at University of Bologna (slides). |
| 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 University of Bologna (slides). |
![[Basic
lambdadelta Logo]](images/basic_32.png "Basic lambdadelta")
Basic λδ version
1 (dismissed):
The main source of
information is Resource J1.
A summary is found in Resource P5.| 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).
Presentation
at
University of Padova (slides in
Italian). |
| P1. |
F.
Guidi: Lambda Tipi sul Lambda Calcolo con
Abbreviazioni: una Specifica Certificata (2005-12). Presentation at University
of Bologna (slides in
Italian). |
![[Use Any
Browser Here]](images/globe_trans.png "Use Any Browser Here")
![[PNG Used Here]](images/PNGnow2.png "PNG Used Here]")
Last update 2014-06-19 by Ferruccio Guidi