Εμφανίζονται 1 - 20 Αποτελέσματα από 120 για την αναζήτηση '"lambda calculus"', χρόνος αναζήτησης: 0,06δλ Περιορισμός αποτελεσμάτων
  1. 1
    The lambda calculus : its syntax and semantics /
    ανά Barendregt, H. P. (Hendrik Pieter)
    Έκδοση 1984
    Βιβλίο
  2. 2
    The lambda calculus : its syntax and semantics /
    ανά Barendregt, H. P. (Hendrik Pieter)
    Έκδοση 1984
    Βιβλίο
  3. 3
    Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
    Έκδοση 2005
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 4
    Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming
    Έκδοση 2010
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 5
    Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 2001
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 6
    Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 1995
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  7. 7
    Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
    Έκδοση 1991
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 8
    Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 1998
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 9
    Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 1994
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 10
    Proceedings of the 1992 ACM conference on LISP and functional programming
    Έκδοση 1992
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  11. 11
    Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
    Έκδοση 2012
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  12. 12
    Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
    Έκδοση 2002
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  13. 13
    Proceedings of the 1982 ACM symposium on LISP and functional programming
    Έκδοση 1982
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
    Έκδοση 1983
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Proceedings of the 1990 ACM conference on LISP and functional programming
    Έκδοση 1990
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  16. 16
    Proceedings of the first ACM SIGPLAN international conference on Functional programming
    Έκδοση 1996
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  17. 17
    Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
    Έκδοση 1997
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  18. 18
    Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
    Έκδοση 1994
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  19. 19
    Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
    Έκδοση 2003
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  20. 20
    Proceedings of the third ACM SIGPLAN international conference on Functional programming
    Έκδοση 1998
    Θέματα: “…Lambda calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email