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.
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
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… 
Review
2010
Review
2010
An Overview of the Legal Knowledge Interchange Format
The Legal Knowledge Interchange Format (LKIF) is an XML Schema for representing theories and arguments (proofs) constructed from… 
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… 
2000
2000
The anatytic conception of truth and the foundations of arithmetic
Until very recently, it was thought that there couldn't be any current interest in logicism as a philosophy of mathematics… 
1993
1993
A Normal Form for Logical Derivations Implying One for Arithmetic Derivations
1990
1990
Infix to prefix conversion as a PST reduction
An algorithm to convert infix expressions to prefix form is expressed in the PST notation o f the preceding paper [1]. It does… 
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)