Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard

 
This item is provided by the institution :

Repository :
Kallipos Repository
see the original item page
in the repository's web site and access all digital files if the item*
share



Chapter (EN)

2016 (EN)

Lambda calculus and proofs, Curry–Howard isomorphism
Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard

Κολέτσος, Γεώργιος
Koletsos, Georgios

7

Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism
ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ


Greek

2016-02-04


2016-02-04T13:03:26Z
2021-07-09T15:09:16Z




*Institutions are responsible for keeping their URLs functional (digital file, item page in repository site)