Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,794,577 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.
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
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
2007
2007
Behaviour Change Framework for Our Water Our Future
Karen Spehr
,
R. Curnow
2007
Corpus ID: 145866971
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
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
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
1994
1994
Statistical issues related to semiquantitative food-frequency
Kiang Liu
1994
Corpus ID: 61794895
Semiquantitative food-frequency (50FF) ques- tionnaires have been used by many epidemiological studies to collect dietary data…
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