Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,467,221 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.
2014
2014
Context-aware intelligent service system for coal mine industry
Xiao Xue
,
Jingkun Chang
,
Zhi-Zhong Liu
Computers in industry (Print)
2014
Corpus ID: 6461244
2013
2013
AREION: Software effort estimation based on multiple regressions with adaptive recursive data partitioning
Yeong-Seok Seo
,
Doo-Hwan Bae
,
R. Jeffery
Information and Software Technology
2013
Corpus ID: 205436252
Review
2012
Review
2012
SOVEREIGN DEBT RESTRUCTURING : PROBLEMS AND PROSPECTS
Mark
,
J. L
,
Wright
2012
Corpus ID: 6416207
This Article reviews the history of sovereign debt restructuring operations with private sector creditors with a view toward…
Expand
2009
2009
Efficient evaluation of performance-based earthquake engineering equations
B. Bradley
,
Dominic S. Lee
,
R. Broughton
,
C. Price
2009
Corpus ID: 24655120
2009
2009
Facilitating the development of social work in the Hashemite Kingdom of Jordan
Alison J. Cocks
,
Sahar Al-Makhamreh
,
Siham Abuieta
,
Jehad M. Alaedein
,
D. Forrester
,
M. Sullivan
2009
Corpus ID: 145070034
English This article reports on a collaboration between Jordan and the UK to develop social work as a profession in Jordan…
Expand
2005
2005
The case for international labour standards : a "Northern" perspective
S. Luce
2005
Corpus ID: 166554658
2002
2002
Challenges for insulating materials in fusion applications
E. Hodgson
2002
Corpus ID: 59424671
2001
2001
Frameworks to Support E-Business Growth Strategy
A. Prananto
,
J. McKay
,
P. Marshall
European Conference on Information Systems
2001
Corpus ID: 14718060
ABSTRACT It has been almost three decades since Nolan proposed his stages hypothesis. Since then several studies on the stages of…
Expand
Review
2001
Review
2001
Latent groups and cross-level inferences
W. Cho
2001
Corpus ID: 17889933
1998
1998
A Closer Look at Revocation and Key Compromise in Public Key Infrastructures
D. Cooper
1998
Corpus ID: 14830812
Over time, in order to improve functionality or efficiency, new features have been added to the basic framework of public key…
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