„typed lambda calculus“

Suchergebnisse

32 Treffer

• 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
  2014 Springer International Publishing
• A formalization of hylomorphism based deforestation with an application to an extended typed λ-calculus [lambda-calculus]
  Jürgensen, Claus 2000 TU, Fak. Informatik
• Semantics of probabilistic typed lambda calculus – markov chain semantics, termination behavior, and denotational semantics
  Draheim, Dirk 2017 Springer
• THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS
  Valentini, Silvio
• Using typed lambda calculus to implement formal systems on a machine
  Avron, Arnon ; Honsell, Furio ; Mason, Ian A. ; Pollack, Robert
• A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions
  Coquand, Catarina
• Complexity of normalization in the pure typed Lambda-calculus
  Schwichtenberg, Helmut ; Troelstra, A.S. ; Dalen, D. van 1982 Ludwig-Maximilians-Universität München
• An inverse of the evaluation functional for typed Lambda-calculus
  Berger, Ulrich ; Schwichtenberg, Helmut ; Vermuri, R. 1991 Ludwig-Maximilians-Universität München
• Propositions with Typed Lambda Calculus λ
  Singh, Harjit
• New lower bounds for the expressiveness and the higher-order matching problem in the simply typed lambda calculus
  Vorobyov, Sergei 1999 MPI Informatik, Bibliothek & Dokumentation
• Category theory and the simply typed λ-calculus [lambda-calculus]
  Martini, Alfio 1996 Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
• Abstraction-Based Genetic Programming – An Application of the polymorphically-typed lambda calculus to genetic programming
  Binard, Franck 2009 VDM Verlag Dr. Müller