Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,120,617 papers from all fields of science
Search
Sign In
Create Free Account
Fixed-point combinator
Known as:
Fixed point operator
, Fixpoint combinator
, U combinator
Expand
In computer science, a fixed-point combinator (or fixpoint combinator) is a higher-order function y that satisfies the equation or in words: y, when…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
34 relations
Böhm tree
Church encoding
Combinatory logic
Computable topology
Expand
Broader (1)
Lambda calculus
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2010
Review
2010
Strategies in PρLog
B. Dundua
,
Temur Kutsia
,
M. Marin
2010
Corpus ID: 15140401
PρLog is an experimental extension of logic programming with strategic conditional transformation rules, combining Prolog with…
Expand
2010
2010
Generic record combinators with static type checking
W. Jeltsch
ACM-SIGPLAN International Conference on…
2010
Corpus ID: 1728235
Common record systems only provide access to individual record fields. However, it is often useful to have generic record…
Expand
2005
2005
Data wordlength optimization for FPGA synthesis
Nicolas Hervé
,
Daniel Ménard
,
Olivier Sentieys
IEEE Workshop on Signal Processing Systems Design…
2005
Corpus ID: 18318259
Field programmable gate arrays (FPGAs) are now considered as a real alternative for digital signal processing (DSP) applications…
Expand
2004
2004
Coalgebraic semantics for logic programs
Zoran Majki´c
2004
Corpus ID: 14724082
General logic programs with negation have the 3-valued minimal Herbrand models based on the Kripke’s fixpoint knowledge revision…
Expand
2002
2002
Creating High Confidence in a Separation Kernel
W. B. Martin
,
P. D. White
,
F. S. Taylor
International Conference on Automated Software…
2002
Corpus ID: 7524945
Separation of processes is the foundation for security and safety properties of systems. This paper reports on a collaborative…
Expand
Review
1999
Review
1999
Nielsen fixed point theory on manifolds
RobertF Brown
1999
Corpus ID: 54065866
The study of fixed points of continuous self-maps of compact manifolds involves geometric topology in a significant way in…
Expand
1998
1998
Fowards a Generic Framework for AOP
Pascal Fradet
,
Mario Südholt
ECOOP Workshops
1998
Corpus ID: 2069454
During the 1st workshop on AOP [AOP97] several fundamental questions were raised: What exactly are aspects? How to weave? What…
Expand
1996
1996
Type Inference for the Mixture of Matching and Implicit Subtyping
Koji Kagawa
1996
Corpus ID: 2789691
We present a type inference system for a language with object-oriented features such as polymorphic record access and subtyping…
Expand
1993
1993
Incorporating Generalized Quantifiers and the Least Fixed Point Operator
I. A. Stewart
Annual Conference for Computer Science Logic
1993
Corpus ID: 10005736
We extend first-order logic with successor using the least fixed point operator and the Hamiltonian path generalized quantifier…
Expand
1970
1970
Combinatory logic with discriminators
J. Kearns
Journal of Symbolic Logic (JSL)
1970
Corpus ID: 12249270
In this paper, I present a modified and extended version of combinatory logic. Schönfinkel originated the study of combinatory…
Expand
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)
ACCEPT & CONTINUE