Ref.No: | 65177700 |
Start date: | 01.12.2009 |
End date: | 31.05.2012 |
Approval date: | 15.12.2009 |
Department: | ELECTRICAL & COMPUTER ENGINEERING |
Sector: | COMPUTER SCIENCE |
Financier: | ΒΑΣΙΚΗ ΕΡΕΥΝΑ, EIDIKOS LOG/MOS EMP |
Budget: | 15.000,00 € |
Scientific Responsible: | GEORGIOS KOLETSOS |
Email: | koletsos@math.ntua.gr |
Description: | WE STUDY THE DIFFERENT SORTS OF REDUCTIONS IN LAMBDA CALCULUS AS WELL AS THEIR PROPERTIES BY USING THE METHOD OF TYPING. WE USE AS OUR BASIC TYPING SYSTEM THE SYSTEM OF INTERSECTION TYPES OF COPPO AND DEZANI IN THE FORM PRESENTED IN KRIVINE'S BOOK...... |