Showing 81 - 100 results of 120 for search '"lambda calculus"', query time: 0.34s Refine Results
  1. 81
    Programming Languages and Systems 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings /
    Published 2002
    Table of Contents: “… Graphics -- An Accumulative Parallel Skeleton for All -- Higher-Order Intensional Type Analysis -- Lambda…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 82
    Types for Proofs and Programs International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers /
    Published 2004
    Table of Contents: “… of Lazy Rational Arithmetic -- Mobility Types in Coq -- Some Algebraic Structures in Lambda-Calculus…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 83
    Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Using Rewriting -- A Concurrent Lambda Calculus with Futures -- Compositional System Design…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 84
    Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings /
    Published 2007
    Table of Contents: “… for Intuitionistic Arithmetic Based on Tarski Games with Retractable Moves -- The Safe Lambda Calculus…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 85
    Software Engineering 1 Abstraction and Modelling /
    by Bjørner, Dines
    Published 2006
    Full Text via HEAL-Link
    Electronic eBook
  6. 86
    Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /
    Published 2008
    Table of Contents: “… for the Clark-Kunen Semantics -- Logic and Lambda-Calculus -- Types for Hereditary Head Normalizing Terms -- A…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 87
    Advances in Proof-Theoretic Semantics
    Published 2016
    Table of Contents: “… Plato -- Chapter 14. A two-sorted typed lambda-calculus; Heinrich Wansing -- Chapter 15. Kreisel…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 88
    Typed Lambda Calculi and Applications Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings /
    Published 1997
    Table of Contents: “… for the Lambda Calculus of Objects -- Coinductive axiomatization of recursive type equality and subtyping -- A…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 89
    Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Reduction in Resource Lambda-Calculus -- Classical Natural Deduction for S4 Modal Logic -- Software Security…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 90
    Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
    Published 2007
    Table of Contents: “…Justified and Common Knowledge: Limited Conservativity -- The Intensional Lambda Calculus…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 91
    Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings /
    Published 2008
    Table of Contents: “…-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 92
    Computer Science Logic 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers /
    Published 1998
    Table of Contents: “… for quantitative semantics -- A mixed modal/linear lambda calculus with applications to bellantoni-cook safe…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 93
    Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings /
    Published 2017
    Table of Contents: “… and container monads -- The Negligible and Yet Subtle Cost of Pattern Matching -- A lambda calculus for density…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 94
    Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings /
    Published 2009
    Table of Contents: “…-Elimination Theorem for Differential Nets with Promotion -- A Polymorphic Type System for the Lambda-Calculus…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 95
    Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /
    Published 2014
    Table of Contents: “… Complexity Classes in Elementary Lambda-Calculus -- A Hoare-Like Calculus Using the SROIQσ Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 96
    Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings /
    Published 2005
    Table of Contents: “… and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 97
    Programming Languages and Systems 25th European Symposium on Programming, ESOP 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: “… Two-Stage Lambda Calculus -- Probabilistic NetKAT.-Coordinated Concurrent Programming in Syndicate…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 98
    Typed Lambda Calculi and Applications 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings /
    Published 2001
    Table of Contents: “… for the Computational Lambda-Calculus -- Induction Is Not Derivable in Second Order Dependent Type Theory -- Strong…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 99
    Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Lambda-Calculus -- Logic-Based Probabilistic Modeling -- Contributed Papers -- Completions of Basic…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 100
    Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday /
    Published 2010
    Table of Contents: “… Algorithmic Completeness of Lambda Calculus -- Fixed-Point Definability and Polynomial Time on Chordal Graphs…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search