Skip to search formSkip to main contentSkip to account menu

Church encoding

Known as: Church numeral, Church number, Church integer 
In mathematics, Church encoding is a means of representing data and operators in the lambda calculus. The data and operators form a mathematical… 
Wikipedia (opens in a new tab)

Related topics

Related topics

20 relations
Calculus of constructionsCombinatory logicDeductive lambda calculusFixed-point combinator

Broader (1)

Lambda calculus

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Local salient patterns — A novel local descriptor for face recognition
Feature extraction is critical to the success of a face recognition system. Local Binary Patterns (LBP), with its different… 
Highly Cited
2012
Highly Cited
2012
High Speed Modified Booth Encoder Multiplier for Signed and Unsigned Numbers
This paper presents the design and implementation of signed-unsigned Modified Booth Encoding (SUMBE) multiplier. The present… 
2012
2012
Supervised dictionary learning for music genre classification
This paper concerns the development of a music codebook for summarizing local feature descriptors computed over time. Comparing… 
2011
2011
Mining Comprehensible and Interesting Rules: A Genetic Algorithm Approach
A majority of contribution in the domain of rule mining overemphasize on maximizing the predictive accuracy of the discovered… 
2009
2009
Co-Dispersion: A Windowless Approach to Lexical Association
We introduce an alternative approach to extracting word pair associations from corpora, based purely on surface distances in the… 
2004
2004
Adaptation mechanism for three dimensional content within the MPEG-21 framework
The goal of the research is creation of an adaptation mechanism for the delivery of three-dimensional content. The adaptation of… 
Review
1999
Review
1999
Multimedia aids to problem-solving transfer q
How can students be helped to understand scienti"c explanations of cause-and-e!ect systems, such as how a pump works, how the… 
1995
1995
Polynominals for Guided Scrambling Line Codes
Guided scrambling (GS) is a line coding technique developed specifically for high bit rate fiber optic transmission systems. This… 
1990
1990
Discrete polymorphism
  • D. Leivant
  • LISP and Functional Programming
  • 1990
  • Corpus ID: 5095184
Polymorphic typing comes in two flavors: parametric as in ML and in Girard-Reynolds’s second order X-calculus 2X, and discrete as… 
Review
1977
Review
1977
Digital Coding of Color Video Signals - A Review
This paper reviews the field of the efficient coding of color television signals. Because this paper is perhaps the first review… 
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)