Showing 1 - 20 results of 120 for search '"lambda calculus"', query time: 0.07s Refine Results
  1. 1
    The lambda calculus : its syntax and semantics /
    Book
  2. 2
    The lambda calculus : its syntax and semantics /
    Book
  3. 3
    Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
    Published 2005
    Subjects: “…Lambda calculus…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 4
    Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming
    Published 2010
    Subjects: “…Lambda calculus…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 5
    Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Published 2001
    Subjects: “…Lambda calculus…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  6. 6
    Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Published 1995
    Subjects: “…Lambda calculus…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  7. 7
    Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
    Published 1991
    Subjects: “…Lambda calculus…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  8. 8
    Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Published 1998
    Subjects: “…Lambda calculus…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  9. 9
    Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Published 1994
    Subjects: “…Lambda calculus…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  10. 10
    Proceedings of the 1992 ACM conference on LISP and functional programming
    Published 1992
    Subjects: “…Lambda calculus…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  11. 11
    Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
    Published 2012
    Subjects: “…Lambda calculus…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  12. 12
    Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
    Published 2002
    Subjects: “…Lambda calculus…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  13. 13
    Proceedings of the 1982 ACM symposium on LISP and functional programming
    Published 1982
    Subjects: “…Lambda calculus…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
    Published 1983
    Subjects: “…Lambda calculus…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Proceedings of the 1990 ACM conference on LISP and functional programming
    Published 1990
    Subjects: “…Lambda calculus…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  16. 16
    Proceedings of the first ACM SIGPLAN international conference on Functional programming
    Published 1996
    Subjects: “…Lambda calculus…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  17. 17
    Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
    Published 1997
    Subjects: “…Lambda calculus…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  18. 18
    Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
    Published 1994
    Subjects: “…Lambda calculus…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  19. 19
    Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
    Published 2003
    Subjects: “…Lambda calculus…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  20. 20
    Proceedings of the third ACM SIGPLAN international conference on Functional programming
    Published 1998
    Subjects: “…Lambda calculus…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed – Email Search