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

 
Το τεκμήριο παρέχεται από τον φορέα :

Αποθετήριο :
Αποθετήριο «Κάλλιπος»
δείτε την πρωτότυπη σελίδα τεκμηρίου
στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*
κοινοποιήστε το τεκμήριο




2016 (EL)

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

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

7

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


Ελληνική γλώσσα

2016-02-04


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




*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.