Showing 101 - 120 results of 120 for search '"lambda calculus"', query time: 0.50s Refine Results
  1. 101
    Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Lambda Calculus -- A Certified Implementation of ML with Structural Polymorphism -- Type Inference…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 102
    Algebraic and Logic Programming 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings /
    Published 1997
    Full Text via HEAL-Link
    Electronic eBook
  3. 103
    Rewriting Techniques and Applications 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings /
    Published 1998
    Full Text via HEAL-Link
    Electronic eBook
  4. 104
    Theoretical Aspects of Computer Software 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings /
    Published 2001
    Table of Contents: “… and Union Types for the Lazy Lambda Calculus -- Strong Normalization of Second Order Symmetric Lambda-mu…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 105
    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 /
    Published 2004
    Table of Contents: “… Computer -- Contributed Papers -- Choice in Dynamic Linking -- Soft lambda-Calculus: A Language…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 106
    New Frontiers in Artificial Intelligence JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 11-13, 2008, Revised Selected Papers /
    Published 2009
    Table of Contents: “… and Meta-lambda Calculus -- Juris-Informatics -- Overview of JURISIN 2008 -- Bootstrapping-Based Extraction…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 107
    Foundations of Software Technology and Theoretical Computer Science 18th Conference, Chennai, India, December 17-19, 1998, Proceedings /
    Published 1998
    Table of Contents: “… for Lambda Calculus with Resources -- On encoding p? in m? -- Session 2(a) -- Improved Methods…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 108
    Computer Science Logic 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings /
    Published 2001
    Table of Contents: “… for an Extension of WS1S -- Lambda-Calculus -- Limiting Partial Combinatory Algebras towards Infinitary Lambda…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 109
    Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings /
    Published 2017
    Table of Contents: “… and Stratified Datalog Inference Engines in SSReect -- Weak Call-by-Value Lambda Calculus as a Model…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 110
    Database and XML Technologies 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings /
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  11. 111
    Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Domains -- A Self-dependency Constraint in the Simply Typed Lambda Calculus -- A Type System…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 112
    Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
    Published 2013
    Table of Contents: “… of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 113
    Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II /
    Published 2014
    Table of Contents: “… in the Infinitary Affine Lambda-Calculus -- On the Positivity Problem for Simple Linear Recurrence Sequences…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 114
    Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II /
    Published 2009
    Table of Contents: “… and the Lambda-Calculus -- On Regular Temporal Logics with Past, -- Forward Analysis for WSTS, Part II: Complete…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 115
    Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings /
    Published 2010
    Table of Contents: “… and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 116
    Mathematical Foundations of Computer Science 2003 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings /
    Published 2003
    Table of Contents: “… of Lambda Calculus -- Unambiguous Automata on Bi-infinite Words -- Relating Hierarchy of Temporal Properties…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 117
    Perspectives of System Informatics Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings /
    Published 2000
    Table of Contents: “… Self-Interpretation of the Pure Lambda Calculus -- An Optimal Algorithm for Purging Regular Schemes…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 118
    Perspectives of System Informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers /
    Published 2001
    Table of Contents: “… -- An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus -- Processes…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 119
    Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings /
    Published 2006
    Table of Contents: “… and Admissible Domain Representations -- An Invariant Cost Model for the Lambda Calculus -- On the Complexity…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 120
    Automata, Languages and Programming 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings /
    Published 2003
    Table of Contents: “… -- Logic and Lambda-Calculus -- The Definition of a Temporal Clock Operator -- Minimal Classical Logic…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search