Εμφανίζονται 61 - 80 Αποτελέσματα από 120 για την αναζήτηση '"lambda calculus"', χρόνος αναζήτησης: 0,14δλ Περιορισμός αποτελεσμάτων
  1. 61
    Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… and Call-by-Value -- Reduction in a Linear Lambda-Calculus with Applications to Operational Semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 62
    Partial Evaluation: Practice and Theory DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 /
    Έκδοση 1999
    Πίνακας περιεχομένων: “…, and Applications -- Inherited Limits -- Partial Evaluation for the Lambda Calculus -- Partial Evaluation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 63
    Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… in the Lambda Calculus with Interaction Nets -- Proof Tool Support for Explicit Strictness -- A Rational…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 64
    Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… -- On the Undecidability of Asynchronous Session Subtyping -- Lambda Calculus and Constructive Proof -- A Lambda-Free…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 65
    Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard
    Λήψη πλήρους κειμένου
    7
  6. 66
    Advances in Proof Theory
    Έκδοση 2016
    Πίνακας περιεχομένων: “… equational proof systems for combinatory logic and lambda calculus -- W. Pohlers: From subsystems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 67
    Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… for the Lambda Calculus -- Semantics and Proof Theory of the Epsilon Calculus -- Neighbourhood Contingency…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 68
    Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… of Compositional Conflicts in Component-Based Systems -- A Lambda Calculus with Forms -- A Model of Components…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 69
    Theoretical Computer Science 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- Confluence of Untyped Lambda Calculus via Simple Types -- Incremental Inference of Partial Types -- Call…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 70
    A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… -- The Lambda Calculus: Practice and Principle -- I Got Plenty o' Nuttin' -- Pointlessness Is Better than…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 71
    Formal Approaches to Semantics and Pragmatics Japanese and Beyond /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…1. Introduction -- 2. The Noncooperative Basis of Implicatures -- 3. Meta-Lambda-Calculus: Syntax…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 72
    Types in Compilation Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “…Compiling Java to a typed lambda-calculus: A preliminary report -- Stack-based Typed Assembly…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 73
    Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 74
    Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Type Discipline for Answer Set Programming -- Type Inference for a Polynomial Lambda Calculus -- Local…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 75
    A Short Introduction to Intuitionistic Logic
    ανά Mints, Grigori
    Έκδοση 2000
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 76
    Functional and Logic Programming 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Transformations into the Linear Lambda Calculus -- Coinductive Interpreters for Process Calculi -- Rewriting…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 77
    The Essence of Computation Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… for Online Termination of Symbolic Methods -- Simple Driving Techniques -- Demonstrating Lambda Calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 78
    Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Systems, and Ershov Morphisms -- Explaining Constraint Programming -- Sharing in the Weak Lambda-Calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 79
    Rewriting Techniques and Applications 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Lambda Calculus with Generalized Applications -- Linear Second-Order Unification and Context Unification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 80
    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 /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… in Typed Lambda Calculus -- On Recognizable Stable Trace Languages -- The State Explosion Problem from…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email