Skip to search formSkip to main contentSkip to account menu

Lambda calculus definition

Formal definitions of the Lambda calculus. Lambda calculus is a programming language based on lambda abstraction and function application. Two… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
Beta normal formCombinatory logicLazy evaluationMiranda

Broader (1)

Lambda calculus

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Identifying Use-After-Free Variables in Fire-and-Forget Tasks
Programmers use begin constructs in Chapel to create fire and forget-style tasks, which do not perform any implicit… 
2016
2016
Dynamic Group Management Scheme for Sustainable and Secure Information Sensing in IoT
The services provided to users in the environment associated with the Internet of Things (hereinafter referred to as IoT) begin… 
2014
2014
Regularity of Polynomials in Free Variables
Author(s): Charlesworth, I; Shlyakhtenko, D | Abstract: We show that the spectral measure of any non-commutative polynomial of a… 
2014
2014
Global Optimization of Signomial Mixed-integer Nonlinear Programming Problems with Free Variables
This study proposes a global optimization algorithm for locating global minimum of a signomial mixed-integer nonlinear… 
2012
2012
A New Approach for Solving Global Solution of Generalized Geometric Programming with Free Variables
  • Jin Li
  • 2012
  • Corpus ID: 124619448
Generalized geometric programming(FGGP)problems with free variables occur frequently in portfolio investment and engineering… 
Review
2010
Review
2010
On the projective theory of sprays
The paper aims to give a fairly self-contained survey on the fundamentals and the basic techniques of spray geometry, using a… 
2007
2007
AC 2007-1906: MATERIALS SELECTION EXERCISES BASED ON CURRENT EVENTS
Issues relating to a wide range of consumer and industrial products appear in newspaper articles and on a variety of television… 
1991
1991
Rosser orderings and free variables
It is shown that for arithmetical interpretations that may include free variables it is not the Guaspari-Solovay system R that is… 
1988
1988
Transparent And-Parallelism in the Presence of Shared Free Variables
1978
1978
Logic and philosophy: A modern introduction
Preface to the Eleventh Edition. Preface to the Tenth Edition. 1. Introduction. The Elements of an Argument. Deduction and… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)