Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,206,587 papers from all fields of science
Search
Sign In
Create Free Account
Deductive lambda calculus
Deductive lambda calculus considers what happens when lambda terms are regarded as mathematical expressions. One interpretation of the untyped lambda…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
14 relations
Boolean algebra
Church encoding
Church–Rosser theorem
Combinatory logic
Expand
Broader (1)
Lambda calculus
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Double Value-Ranges
P. Simons
Essays on Frege's Basic Laws of Arithmetic
2015
Corpus ID: 124548417
From the time of Begriffsschrift onwards, Frege treated functions of two or more places on a par with those of one place. This…
Expand
2013
2013
Speaker meaning attributed to the terms salvation and insindiso in selected mainline and independent church contexts
N. Kerr
,
F. Southwood
2013
Corpus ID: 55742365
This study was conducted to ascertain what meanings the terms salvation, saved, and their isiZulu equivalents have for some Zulu…
Expand
2013
2013
National College of Ireland MSc in Web Technologies Evaluating Web Accessibility for Blind Individuals
K. Maycock
2013
Corpus ID: 55505045
As the world’s population becomes further dependant on the web for services and information, a large number of people with…
Expand
2006
2006
Evaluation of the Scientific Performances for the Seismology Programme
T. Appourchaux
,
G. Berthomieu
,
+18 authors
T. Toutain
2006
Corpus ID: 47002545
The Data Analysis Team of the Seismology Working Group of COROT performed several hare-and-hound exercises. These exercises aimed…
Expand
2002
2002
Using the Vanderbilt Television Abstracts to Track Broadcast News Content: Possibilities and Pitfalls
Scott L. Althaus
,
Jill A. Edy
,
Patricia F. Phalen
2002
Corpus ID: 62583424
The Vanderbilt Television News Archive supplies written abstracts for its video collection of news programs. Researchers from…
Expand
2001
2001
Nachuntersuchungen bei Patienten nach endovaskulären Aortenprothesen – Durchführung, Anforderungen und Probleme
T. Umscheid
,
M. Skupin
,
+4 authors
W. Stelter
Gefässchirurgie
2001
Corpus ID: 44625861
ZusammenfassungDie interventionelle Therapie von Aortenaneursymen erfordert eine konsequente Nachuntersuchung der Patienten. Die…
Expand
2001
2001
Managing Minnesota's recovered wolves
L. Mech
2001
Corpus ID: 82652418
The Minnesota wolf (Canis lupus) population was estimated by the Minnesota Department of Natural Resources at 2,450 during winter…
Expand
1999
1999
Protecting the integrity of agents: an exploration into letting agents loose in an unpredictable world
M. Grimley
,
Brian Monroe
CROS
1999
Corpus ID: 18285455
After years of research, the definition of a software agent is still vague. For our purposes, we use a definition from Jennings…
Expand
Review
1995
Review
1995
Tuberculosis: Yesterday, Today, and Tomorrow
J. Sbarbaro
Annals of Internal Medicine
1995
Corpus ID: 53091112
Tuberculosis has plagued humans for more than three millennia and still rages through many countries of the world. In the United…
Expand
1993
1993
Toxics Use Reduction: Pro and Con
F. Laden
,
G. Gray
1993
Corpus ID: 131871976
With the Massachusetts Toxics Use Reduction Act as an example, important issues related to the goals and effectiveness of TUR are…
Expand