Discover
Add filters:
Use filters to refine the search results.
Author(s):
Stefaneas, Petros; Koletsos, Georgios
Type:
Chapter
Author(s):
Sakellariou, Ilias; Vasileiadis, Nikolaos; Kefalas, Petros; Stamatis, Dimosthenis
Type:
Chapter
Author(s):
Sakellariou, Ilias; Vasileiadis, Nikolaos; Kefalas, Petros; Stamatis, Dimosthenis
Type:
Chapter
Author(s):
Sakellariou, Ilias; Vasileiadis, Nikolaos; Kefalas, Petros; Stamatis, Dimosthenis
Type:
Chapter
Author(s):
Sakellariou, Ilias; Vasileiadis, Nikolaos; Kefalas, Petros; Stamatis, Dimosthenis
Type:
Chapter
Title:
Author(s):
Sakellariou, Ilias; Vasileiadis, Nikolaos; Kefalas, Petros; Stamatis, Dimosthenis
Type:
Chapter
Author(s):
Sakellariou, Ilias; Vasileiadis, Nikolaos; Kefalas, Petros; Stamatis, Dimosthenis
Type:
Chapter
Title:
Author(s):
Koletsos, Georgios
Type:
Chapter
Title:
Lambda calculus and proofs, Curry–Howard isomorphism
Greek title: Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard
Greek title: Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard
Author(s):
Koletsos, Georgios
Type:
Chapter