„lambda calculus“

Suchergebnisse

286 Treffer

• A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions
  Coquand, Catarina
• Scheme: A Interpreter for Extended Lambda Calculus
  Sussman, Gerald Jay ; Steele, Guy L.
• Lambda Calculus and Intuitionistic Linear Logic
  della Rocca, Simona Ronchi ; Roversi, Luca
• 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
• Generalized Fractional Calculus Operators and the $$_pR_q(\lambda ,\eta ;z)$$ p R q ( λ , η ; z ) Function
  Pal, Ankit ; Jana, R. K. ; Shukla, A. K.
• Abstract Computing Machines – A Lambda Calculus Perspective
  Kluge, Werner 2005 Springer International Publishing
• Abstract computing machines – a Lambda calculus perspective
  Kluge, Werner 2005 Springer
• The weak call-by-value λ-calculus is reasonable for both time and space
  Forster, Yannick ; Kunze, Fabian ; Roth, Marc 2020 Saarländische Universitäts- und Landesbibliothek
• Symmetric q-extension of $$\lambda $$ λ -Apostol–Euler polynomials via umbral calculus
  Elmonser, Hedi
• Propositions with Typed Lambda Calculus λ
  Singh, Harjit
• Label dependent lambda calculus and gradual typing
  Fu, Weili ; Krause, Fabian ; Thiemann, Peter 2021 Universität
• Mechanized metatheory for a $$\lambda $$ λ -calculus with trust types
  Ribeiro, Rodrigo ; Figueiredo, Lucília ; Camarão, Carlos
• Lambda calculus and LISP
  Simon, Friedemann 1980 Inst. für Informatik u. Prakt. Mathematik, Christian-Albrechts-Univ.
• Call-by-Value Lambda Calculus as a Model of Computation in Coq
  Forster, Yannick ; Smolka, Gert
• Dynamic heuristic acceleration of linearly approximated SARSA( $$\lambda $$ λ ): using ant colony optimization to learn heuristics dynamically
  Bromuri, Stefano
• Lambda-calculus as control structures of programming languages
  Fehr, Elfriede 1980 RWTH
• $$\Lambda $$ Λ -submodules of finite index of anticyclotomic plus and minus Selmer groups of elliptic curves
  Hatley, Jeffrey ; Lei, Antonio ; Vigni, Stefano
• Complete $$\lambda $$ λ -surfaces in $${\mathbb {R}}^3$$ R 3
  Cheng, Qing-Ming ; Wei, Guoxin
• Stable Solutions of − Δ u + λ u = / u / p − 1 u $-\Delta u+\lambda u=/u/^{p-1}u $ in Strips
  Selmi, Abdelbaki ; Harrabi, Abdellaziz ; Zaidi, Cherif