Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,226,771 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
2004
2004
Coalgebraic semantics for logic programs
Z. Majkic
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. Martin
,
P. 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
2001
2001
Solving Stochastic Rendezvous Networks of Large Client-Server Systems with Symmetric Replication
Amy Pan
2001
Corpus ID: 59682514
An optical waveguide device including an electro-optical crystal substrate having a top surface and a bottom surface; an optical…
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
1992
1992
Exchange Rate Analysis With Point & Figure Charts
Friedrich Wilhelm Tölke
1992
Corpus ID: 60157742
1992
1992
Taming the Y operator
G. Rozas
LFP '92
1992
Corpus ID: 8284053
In this paper I present a set of conceptually simple but involved techniques used by LIAR, the MIT SCHEME compiler, to generate…
Expand
1990
1990
Mathematics as a Management Tool: Proof Rules for Promotion
J. Woodcock
1990
Corpus ID: 60873793
We consider how the Z notation is used to produce structured specifications. In particular, we consider the technique known as…
Expand
1974
1974
Call-by-Value versus Call-by-Name: A proof-Theoretic Comparison
W. D. de Roever
International Symposium on Mathematical…
1974
Corpus ID: 8034237
Minimal fixed point operators were introduced by Scott and De Bakker in order to describe the input-output behaviour of recursive…
Expand