„computational lambda calculus“

Suchergebnisse

27 Treffer

• 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
• 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
• Complete $$\lambda $$ λ -hypersurfaces of weighted volume-preserving mean curvature flow
  Cheng, Qing-Ming ; Wei, Guoxin
• Mathematical foundations of computer science 2014
  2014 Springer
• Mathematical foundations of computer science 2014
  2014 Springer