Showing 41 - 60 results of 120 for search '"lambda calculus"', query time: 0.30s Refine Results
  1. 41
    Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus
    by Mazzola, Guerino
    Published 2005
    Get full text
    Electronic Kit Book
  2. 42
    Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings /
    Published 2005
    Table of Contents: “… -- Elementary Affine Logic and the Call-by-Value Lambda Calculus -- Rank-2 Intersection and Polymorphic…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 43
    Comprehensive mathematics for computer scientists /
    by Mazzola, Guerino
    Published 2006
    Table of Contents: “… and lambda calculus.…”
    Book
  4. 44
    Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings /
    Published 2006
    Table of Contents: “… -- Invited Talk -- Rewriting Models of Boolean Programs -- Session 4. Lambda Calculus -- Syntactic…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 45
    Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers /
    Published 2013
    Table of Contents: “… for EDSL -- The Blame theorem for a linear lambda calculus with type dynamic -- Higher-order size checking…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 46
    Comprehensive mathematics for computer scientists /
    by Mazzola, Guerino
    Published 2004
    Table of Contents: “… and lambda calculus.…”
    Book
  7. 47
    Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures /
    Published 2008
    Table of Contents: “… of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 48
    Models of Computation An Introduction to Computability Theory /
    by Fernández, Maribel
    Published 2009
    Table of Contents: “…Traditional Models of Computation -- Automata and Turing Machines -- The Lambda Calculus…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 49
    Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
    Published 2014
    Table of Contents: “… Lambda-Calculus -- An Implicit Characterization of the Polynomial-Time Decidable Sets by Cons-Free…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 50
    Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Structures and the Semantics of Recursion -- Coalgebraic Correspondence Theory -- Lambda Calculus and Types…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 51
    Software Languages Syntax, Semantics, and Metaprogramming /
    by Lämmel, Ralf, Lämmel, Ralf
    Published 2018
    Table of Contents: “… An Excursion into the Lambda Calculus -- 11 An Ode to Compositionality -- 12 A Suite of Metaprogramming…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 52
    Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers /
    Published 2012
    Table of Contents: “…-Corecursion Principle for the Infinitary Lambda Calculus -- Lax Extensions of Coalgebra Functors -- From…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 53
    Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /
    Published 2008
    Table of Contents: “… -- A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 54
    Touch of Class Learning to Program Well with Objects and Contracts /
    by Meyer, Bertrand
    Published 2009
    Table of Contents: “… -- Inheritance -- Operations as objects: agents and lambda calculus -- Event-driven design -- Towards software…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 55
    Types for Proofs and Programs International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers /
    Published 1999
    Table of Contents: “… Interpretation: An Integrated Approach -- Gröbner Bases in Type Theory -- A Modal Lambda Calculus with Iteration…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 56
    Logic for Programming and Automated Reasoning 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings /
    Published 2000
    Table of Contents: “… and lambda calculus -- Quantified Propositional Gödel Logics -- Proof-Search in Implicative Linear Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 57
    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 /
    Published 2016
    Table of Contents: “… Theory and Lambda Calculus Unary Resolution: Characterizing Ptime -- Focused and Synthetic Nested…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 58
    Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Structures -- Parity Games Played on Transition Graphs of One-Counter Processes -- Domains, Lambda Calculus…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 59
    Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Arithmetic into Superposition Calculus -- Lambda Calculus 1 -- The Theory of Calculi with Explicit…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 60
    New Structures for Physics
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search