Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,123,618 papers from all fields of science
Search
Sign In
Create Free Account
Church encoding
Known as:
Church numeral
, Church number
, Church integer
Expand
In mathematics, Church encoding is a means of representing data and operators in the lambda calculus. The data and operators form a mathematical…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
20 relations
Calculus of constructions
Combinatory logic
Deductive lambda calculus
Fixed-point combinator
Expand
Broader (1)
Lambda calculus
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Design of Redundant Binary Multipliers using Modified Partial Product Generator
P. Harikrishna
,
M. Pavitra
2017
Corpus ID: 215986875
Multiplication is one of the basic functions used in digital signal processing (DSP). Due to its high modularity and carry-free…
Expand
2013
2013
The Mission of the Ukrainian Fulbright Association - A Sovereign Ukraine Since
M. Antonovych
2013
Corpus ID: 158203444
Since the 2004 pre-election campaign when trains in Ukraine carried maps of Ukraine divided by two colors, it became common to…
Expand
2012
2012
Mixed blessings in new U.S. church numbers
R. Peck
2012
Corpus ID: 237028056
2011
2011
Mining Comprehensible and Interesting Rules: A Genetic Algorithm Approach
J. Vashishtha
,
Dharminder Kumar
,
S. Ratnoo
,
K. Kundu
2011
Corpus ID: 8567447
A majority of contribution in the domain of rule mining overemphasize on maximizing the predictive accuracy of the discovered…
Expand
2009
2009
SPATIAL ENCODING AND DECODING OF FOCUSED VIRTUAL SOUND SOURCES
J. Ahrens
,
S. Spors
2009
Corpus ID: 6514543
Spatial encoding refers to the representation of a sound fiel d which allows storage and transmission of the latter. In the…
Expand
2007
2007
RELAY COOPERATION IN MULTIACCESS NETWORKS
L. Sankar
2007
Corpus ID: 61563776
OF THE DISSERTATION Relay Cooperation in Multiaccess Networks by Lalitha Sankar Dissertation Director: Prof. Narayan Mandayam…
Expand
2001
2001
Increasing the SNR in Steady-State Imaging by Sensitivity Encoding
K. Pruessmann
,
P. Hilfiker
,
D. Weishaupt
,
P. Boesiger
2001
Corpus ID: 3154554
Introduction Sensitivity encoding (SENSE) [1] is a method for reducing scan time in MRI by means of a receiver coil array…
Expand
Review
1999
Review
1999
Multimedia aids to problem-solving transfer q
R. Mayer
1999
Corpus ID: 14999039
How can students be helped to understand scienti"c explanations of cause-and-e!ect systems, such as how a pump works, how the…
Expand
1999
1999
Relating Templates to Language and Logic
J. Sowa
International Summer School on Information…
1999
Corpus ID: 1386471
Syntactic theories relate sentence structure to the details of morphemes, inflections, and word order. Semantic theories relate…
Expand
1985
1985
The structure and seasonal distribution of mortality of the Tallinn population in the eighteenth century based on the church registers of the Church of the Holy Spirit
R. Pullat
1985
Corpus ID: 130775772
The structure and seasonal distribution of mortality in the Estonian city of Tallinn now in the USSR are examined for the period…
Expand