Remarks on Krivine’s ”Lambda-calculus, types and models”, Chapter 1, §2 Darij Grinberg, 5 JuneIntroduction The point of this note is to 1) add some lemmata to Chapter 1 §2 of [1] (lemmata that are used i

Source URL: www.cip.ifi.lmu.de

Reconciliation of Zero-Point and Dark Energies in a Friedman Dust Universe with Einstein’s Lambda James G. Gilson ∗ April 23, 2007

Source URL: www.fine-structure-constant.org

Problem Solving, Programming, and Calculation Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/

Source URL: www.idt.mdh.se

• Software engineering
• Computer programming
• Computing
• Recursion
• Lambda calculus
• Computability theory
• Theoretical computer science
• Programming idioms
• Functional programming
• Function
• Subroutine
• Fixed-point combinator

Modular Static Analysis with Zonotopes Eric Goubault, Sylvie Putot, and Franck V´edrine CEA Saclay Nano-INNOV, CEA LIST, Laboratory for the Modelling and Analysis of Interacting Systems, Point Courrier 174, 91191 Gif su

Source URL: www.lix.polytechnique.fr

• Mathematics
• Affine geometry
• Affine arithmetic
• Affine space
• Lambda calculus
• Abstract interpretation
• Function

Fastest Lambda First λ Neil Mitchell www.cs.york.ac.uk/~ndm/

Source URL: community.haskell.org

• Software engineering
• Computer programming
• Programming language theory
• Compiler optimizations
• Functional languages
• Inline expansion
• Subroutines
• Haskell
• Entry point

AMOEBAS AND SDP JAN FONIOK AND DANIEL JOHANNSEN Abstract. The hypersurface amoeba membership problem is the problem to decide whether for an input point λ ∈ Rn , the point λ is an element of the amoeba of the hypersu

Source URL: www.ifor.math.ethz.ch

• Lambda calculus
• Matrices
• Positive-definite matrix
• Combinatory logic
• Spectral theory
• Ordinary differential equations

A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University

Source URL: barzilay.org

• Lambda calculus
• Subroutines
• Functional programming
• Computability theory
• Theoretical computer science
• Higher-order abstract syntax
• Anonymous function
• Scheme
• Fixed-point combinator
• Combinatory logic
• Eval
• Hygienic macro

Self-applicable Partial Evaluation for Pure Lambda Calculus Torben Æ. Mogensen DIKU, University of Copenhagen, Denmark Abstract

Source URL: repository.readscheme.org

• Lambda calculus
• Combinatory logic
• Church encoding
• Fixed-point combinator
• Anonymous function
• Higher-order abstract syntax
• Type system
• Unification
• De Bruijn index
• Lambda calculus definition

02157 Functional programming Michael R. Hansen DTU Informatics November 24, 2011 Revised October 21, 2013

Source URL: www.imm.dtu.dk

• Lambda calculus
• Combinatory logic
• Lambda calculus definition
• Reduction strategy
• Free variables and bound variables
• Lambda
• Fixed-point combinator
• Anonymous function
• Term
• Variable
• Beta normal form

c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of ICFP 2010, ISBN

Source URL: community.haskell.org

• Lambda calculus
• Functional programming
• A-normal form
• Let expression
• Fixed-point combinator
• Exponentiation
• Expression
• Monad
• Anonymous function
• Free variables and bound variables
• Combinatory logic
• Standard ML