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… 
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… 
2008
2008
Extending the OGC OpenLS Route Service to 3D for an interoperable realisation of 3D focus maps with landmarks
Landmarks and focus maps can play an important role by supporting users in route finding and navigation. This article shows one… 
2006
2006
A New DNA Encoding Method for Traveling Salesman Problem
We have devised a new DNA encoding method to represent weight and apply it to solve the traveling salesman problem, an instance… 
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… 
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)