Skip to search formSkip to main contentSkip to account menu
You are currently offline. Some features of the site may not work correctly.
Combinatory logic
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2006
2006
We study Artemov’s Reflective Combinatory Logic RCL→. We provide the explicit definition of types for RCL→ and prove that every… Expand
Highly Cited
2002
Highly Cited
2002
We present an axiomatic framework for Girard's Geometry of Interaction based on the notion of linear combinatory algebra. We give… Expand
Highly Cited
1995
Highly Cited
1995
Highly Cited
1992
Highly Cited
1992
We present the a-calculus, a calculus of communicating systems in which one can naturally express processes which have changing… Expand
Highly Cited
1991
Highly Cited
1991
We propose a refinement of Kripke modal logic, and in particular of PDL (propostional dynamic logic)
Highly Cited
1984
Highly Cited
1984
Within the context of an algebraic theory of processes, an equational specification of process cooperation is provided. Four… Expand
Highly Cited
1983
Highly Cited
1983
Abstract A calculus for distributed computation is studied, based upon four combinators. A central idea is an Abelian group of… Expand
Review
1981
Review
1981
Digital Control Of Dynamic Systems This well-respected, market-leading text discusses the use of digital computers in the real… Expand
Highly Cited
1980
Highly Cited
1969
Highly Cited
1969
One of the aims of combinatory logic is to study the most basic properties of functions and other concepts, with as few… Expand