Browsing by Subject λ-λογισμός
Showing results 1 to 2 of 2
Issue Date | Title | Author(s) | Supervisor |
---|---|---|---|
26-Mar-2019 | Μεταγλώττιση αμοιβαία αναδρομικών τύπων σε μία συναρτησιακή γλώσσα έξυπνων συμβολαίων στο blockchain | Gkoumas, Vasilis | Παπασπύρου Νικόλαος |
9-Nov-2010 | Τυποποίηση Και Τερματισμός Στο Λ-λογισμό | Ιωάννης Κοκκίνης | Κολέτσος Γεώργιος |