Koletsos, G., & Κολέτσος, Γ. (2016). Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard.
Παραπομπή σε μορφή Chicago (17η εκδ.)Koletsos, Georgios, και Γεώργιος Κολέτσος. Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard. 2016.
Παραπομπή σε μορφή MLA (8th εκδ.)Koletsos, Georgios, και Γεώργιος Κολέτσος. Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard. 2016.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.
