Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,206,585 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
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
1989
1989
RESEARCH AND EXPLORATION IN THE BRIDGE RIVER MINING CAMP
B. N. Church
,
A. R. Pettipas
1989
Corpus ID: 16010617
The Bridge River mining camp comprises approximately 1500 square kilometres of heavily staked terrain in the Bridge River…
Expand
1984
1984
Cloning and characterisation of cDNAs encoding the major, pea storage proteins, and expression of vicilin in E. coli
A. Delauney
1984
Corpus ID: 81785566
A cDNA library was constructed using mRNA from developing seeds of pea (Pisim s'ativum L.). Clones encoding legumin and vicilin…
Expand