Αποτελέσματα για "lambda calculus"

Αποτελέσματα για "lambda calculus" Εμφανίζονται 1 - 50 Αποτελέσματα από 120 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22lambda+calculus%22&type=AllFields&lng=el 120 0 50 Advances in Proof-Theoretic Semantics Fri, 01 Jan 2016 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-319-22686-6 https://find.library.upatras.gr/Record/978-3-319-22686-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Logic for Programming and Automated Reasoning 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings / Sat, 01 Jan 2000 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-540-44404-6 https://find.library.upatras.gr/Record/978-3-540-44404-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Partial Evaluation: Practice and Theory DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 / Fri, 01 Jan 1999 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-540-47018-2 https://find.library.upatras.gr/Record/978-3-540-47018-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Types for Proofs and Programs International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers / Fri, 01 Jan 1999 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-540-48167-6 https://find.library.upatras.gr/Record/978-3-540-48167-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Perspectives of System Informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers / Mon, 01 Jan 2001 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-540-45575-2 https://find.library.upatras.gr/Record/978-3-540-45575-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Automata, Languages and Programming 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings / Wed, 01 Jan 2003 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-540-45061-0 https://find.library.upatras.gr/Record/978-3-540-45061-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Foundation of Software Science and Computation Structures Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings / Sat, 01 Jan 2000 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-540-46432-7 https://find.library.upatras.gr/Record/978-3-540-46432-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Computer Science Logic 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers / Thu, 01 Jan 1998 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-540-69353-6 https://find.library.upatras.gr/Record/978-3-540-69353-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Algebraic and Logic Programming 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings / Wed, 01 Jan 1997 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-540-69555-4 https://find.library.upatras.gr/Record/978-3-540-69555-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Functional and Logic Programming 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings / Tue, 01 Jan 2002 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-540-45788-6 https://find.library.upatras.gr/Record/978-3-540-45788-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 The Essence of Computation Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones / Tue, 01 Jan 2002 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-540-36377-4 https://find.library.upatras.gr/Record/978-3-540-36377-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Rewriting Techniques and Applications 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings / Thu, 01 Jan 1998 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-540-69721-3 https://find.library.upatras.gr/Record/978-3-540-69721-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Foundations of Software Technology and Theoretical Computer Science 18th Conference, Chennai, India, December 17-19, 1998, Proceedings / Thu, 01 Jan 1998 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-540-49382-2 https://find.library.upatras.gr/Record/978-3-540-49382-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Types in Compilation Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings / Thu, 01 Jan 1998 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-540-68308-7 https://find.library.upatras.gr/Record/978-3-540-68308-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Typed Lambda Calculi and Applications Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings / Wed, 01 Jan 1997 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-540-68438-1 https://find.library.upatras.gr/Record/978-3-540-68438-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings / Fri, 01 Jan 2016 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-662-49630-5 https://find.library.upatras.gr/Record/978-3-662-49630-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings / Fri, 01 Jan 2016 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-662-49498-1 https://find.library.upatras.gr/Record/978-3-662-49498-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday / Fri, 01 Jan 2016 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-319-30936-1 https://find.library.upatras.gr/Record/978-3-319-30936-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Theoretical Aspects of Computer Software 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings / Mon, 01 Jan 2001 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-540-45500-4 https://find.library.upatras.gr/Record/978-3-540-45500-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Mathematical Foundations of Computer Science 2003 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings / Wed, 01 Jan 2003 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-540-45138-9 https://find.library.upatras.gr/Record/978-3-540-45138-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Programming Languages and Systems 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings / Tue, 01 Jan 2002 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-540-45927-9 https://find.library.upatras.gr/Record/978-3-540-45927-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Perspectives of System Informatics Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings / Sat, 01 Jan 2000 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-540-46562-1 https://find.library.upatras.gr/Record/978-3-540-46562-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Rewriting Techniques and Applications 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings / Sat, 01 Jan 2000 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-540-44980-5 https://find.library.upatras.gr/Record/978-3-540-44980-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Typed Lambda Calculi and Applications 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings / Mon, 01 Jan 2001 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-540-45413-7 https://find.library.upatras.gr/Record/978-3-540-45413-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Computer Science Logic 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings / Mon, 01 Jan 2001 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-540-44802-0 https://find.library.upatras.gr/Record/978-3-540-44802-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Theoretical Computer Science 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings / Mon, 01 Jan 2001 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-540-45446-5 https://find.library.upatras.gr/Record/978-3-540-45446-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Types for Proofs and Programs International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers / Thu, 01 Jan 2004 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-540-24849-1 https://find.library.upatras.gr/Record/978-3-540-24849-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Advances in Proof Theory Fri, 01 Jan 2016 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-319-29198-7 https://find.library.upatras.gr/Record/978-3-319-29198-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 A Short Introduction to Intuitionistic Logic Sat, 01 Jan 2000 04:53:03 +0200 https://find.library.upatras.gr/Record/978-0-306-46975-6 https://find.library.upatras.gr/Record/978-0-306-46975-6 Mints, Grigori Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 Mints, Grigori 0 Foundations of Software Science and Computation Structures 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings / Thu, 01 Jan 2004 04:53:03 +0200 https://find.library.upatras.gr/Record/978-3-540-24727-2 https://find.library.upatras.gr/Record/978-3-540-24727-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Proceedings of the 2nd Annual Industrial Control System Security Workshop Fri, 01 Jan 2016 04:53:03 +0200 https://find.library.upatras.gr/Record/10.1145%2F3018981 https://find.library.upatras.gr/Record/10.1145%2F3018981 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2016 0 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems Sun, 01 Jan 1989 04:53:03 +0200 https://find.library.upatras.gr/Record/10.1145%2F73721 https://find.library.upatras.gr/Record/10.1145%2F73721 Ηλεκτρονική πηγή Ηλ. βιβλίο 1989 0 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming Wed, 01 Jan 2003 04:53:03 +0200 https://find.library.upatras.gr/Record/10.1145%2F944705 https://find.library.upatras.gr/Record/10.1145%2F944705 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2003 0 Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding Sat, 01 Jan 2005 04:53:03 +0200 https://find.library.upatras.gr/Record/10.1145%2F1088454 https://find.library.upatras.gr/Record/10.1145%2F1088454 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2005 0 Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming Fri, 01 Jan 2010 04:53:03 +0200 https://find.library.upatras.gr/Record/10.1145%2F1836089 https://find.library.upatras.gr/Record/10.1145%2F1836089 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2010 0 Proceedings of the third ACM SIGPLAN international conference on Functional programming Thu, 01 Jan 1998 04:53:03 +0200 https://find.library.upatras.gr/Record/10.1145%2F289423 https://find.library.upatras.gr/Record/10.1145%2F289423 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 1998 0 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages Sun, 01 Jan 1995 04:53:03 +0200 https://find.library.upatras.gr/Record/10.1145%2F199448 https://find.library.upatras.gr/Record/10.1145%2F199448 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 1995 0 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation Tue, 01 Jan 1991 04:53:03 +0200 https://find.library.upatras.gr/Record/10.1145%2F115865 https://find.library.upatras.gr/Record/10.1145%2F115865 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 1991 0 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages Thu, 01 Jan 1998 04:53:03 +0200 https://find.library.upatras.gr/Record/10.1145%2F268946 https://find.library.upatras.gr/Record/10.1145%2F268946 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 1998 0 Proceedings of the 2007 workshop on Programming languages meets program verification Mon, 01 Jan 2007 04:53:03 +0200 https://find.library.upatras.gr/Record/10.1145%2F1292597 https://find.library.upatras.gr/Record/10.1145%2F1292597 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2007 0 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages Sun, 01 Jan 1984 04:53:03 +0200 https://find.library.upatras.gr/Record/10.1145%2F800017 https://find.library.upatras.gr/Record/10.1145%2F800017 Ηλεκτρονική πηγή Ηλ. βιβλίο 1984 0 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages Sat, 01 Jan 1994 04:53:03 +0200 https://find.library.upatras.gr/Record/10.1145%2F174675 https://find.library.upatras.gr/Record/10.1145%2F174675 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 1994 0 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming Sat, 01 Jan 2005 04:53:03 +0200 https://find.library.upatras.gr/Record/10.1145%2F1069774 https://find.library.upatras.gr/Record/10.1145%2F1069774 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2005 0 Proceedings of the 2018 ACM SIGPLAN Workshop on SPLASH-E Mon, 01 Jan 2018 04:53:03 +0200 https://find.library.upatras.gr/Record/10.1145%2F3310089 https://find.library.upatras.gr/Record/10.1145%2F3310089 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2018 0 Proceedings of the 1992 ACM conference on LISP and functional programming Wed, 01 Jan 1992 04:53:03 +0200 https://find.library.upatras.gr/Record/10.1145%2F141471 https://find.library.upatras.gr/Record/10.1145%2F141471 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 1992 0 Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming Fri, 01 Jan 2010 04:53:03 +0200 https://find.library.upatras.gr/Record/10.1145%2F1863597 https://find.library.upatras.gr/Record/10.1145%2F1863597 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2010 0 Proceedings of the 17th ACM SIGPLAN international conference on Functional programming Sun, 01 Jan 2012 04:53:03 +0200 https://find.library.upatras.gr/Record/10.1145%2F2364527 https://find.library.upatras.gr/Record/10.1145%2F2364527 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2012 0 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation Tue, 01 Jan 2002 04:53:03 +0200 https://find.library.upatras.gr/Record/10.1145%2F503032 https://find.library.upatras.gr/Record/10.1145%2F503032 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2002 0 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming Sat, 01 Jan 2000 04:53:03 +0200 https://find.library.upatras.gr/Record/10.1145%2F351240 https://find.library.upatras.gr/Record/10.1145%2F351240 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2000 0 Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice Sun, 01 Jan 2012 04:53:03 +0200 https://find.library.upatras.gr/Record/10.1145%2F2364406 https://find.library.upatras.gr/Record/10.1145%2F2364406 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2012 0