Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,528,244 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.
2017
2017
Comparative predictability of failure of financial institutions using multiple models
M. Vaziri
,
Rafiqul Bhuyan
,
Ponkala Anand Vaseekhar Manuel
2017
Corpus ID: 64706172
The impact of failure of financial institutions is beyond just the failure of a public corporation. The failure of financial…
Expand
2010
2010
Collaboration via online discussion forums: issues and approaches
K. Kear
2010
Corpus ID: 60710663
Asynchronous communication tools, such as discussion forums, have benefits in allowing people to communicate when it is most…
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
1999
1999
Quanti(cid:12)cation in Dynamic Semantics
M. Aloni
1999
Corpus ID: 247092
In dynamic semantics three styles of quanti(cid:12)cation have been proposed that can be seen to involve two di(cid:11)erent ways…
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
Review
1993
Review
1993
Peoria-Pekin Regional Ground-Water Quality Assessment
S. L. Burch
,
D. J. Kelly
1993
Corpus ID: 131552767
This study reports the results of sampling a major aquifer in central Illinois and seeks to define a baseline measure of ground…
Expand
Review
1969
Review
1969
Quick-reference Guide to Risk-based Decision Making (RBDM): A Step-by-step Example of the RBDM Process in the Field
Joseph Myers
,
B. Macesker
1969
Corpus ID: 168545741
Everyone is talking about RBDM. But what about you? Have you applied RBDM to your job? Do you know how? This paper provides a…
Expand
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)
ACCEPT & CONTINUE