Skip to search formSkip to main contentSkip to account menu

Deductive lambda calculus

Deductive lambda calculus considers what happens when lambda terms are regarded as mathematical expressions. One interpretation of the untyped lambda… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Review
2012
Review
2012
This Article reviews the history of sovereign debt restructuring operations with private sector creditors with a view toward… 
2009
2009
English This article reports on a collaboration between Jordan and the UK to develop social work as a profession in Jordan… 
2001
2001
ABSTRACT It has been almost three decades since Nolan proposed his stages hypothesis. Since then several studies on the stages of… 
Review
2001
Review
2001
1998
1998
Over time, in order to improve functionality or efficiency, new features have been added to the basic framework of public key…