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.
2014
2014
Security Analysis of Multilinear Maps over the Integers
At Crypto 2013, Coron, Lepoint, and Tibouchi (CLT) proposed a practical Graded Encoding Scheme (GES) over the integers, which has… 
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… 
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… 
2007
2007
The Log-Support Encoding of CSP into SAT
Various encodings have been proposed to convert Constraint Satisfaction Problems (CSP) into Boolean Satisfiability problems (SAT… 
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… 
2003
2003
Local Search on SAT-encoded Colouring Problems
Constraint satisfaction problems can be SAT-encoded in more than one way, and the choice of encoding can be as important as 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)