Combinatory logic
Top View
- Calculus and Combinatory Logic
- Bringing Together Combinatory Logic Synthesis and Satisfiability
- Lambda-Calculus and Combinators, an Introduction
- Bounded Combinatory Logic
- A Semantic Approach to Illative Combinatory Logic∗
- Combinatory Logic and Lambda Calculus with Classical Types
- A Generalisation of Pre-Logical Predicates and Its Applications
- Lambda Calculus Based Algorithmic Information Theory
- Control Flow Analysis for SF Combinator Calculus
- Functional Programming
- Emergence of Self-Reproducing Metabolisms As Recursive Algorithms in an Artificial Chemistry
- Classical Combinatory Logic 3
- The Fixpoint Combinator in Combinatory Logic
- Constructive Logic and Type Theory ∗
- Intersection Types for Combinatory Logic*
- The Search for a Reduction in Combinatory Logic Equivalent to Λβ-Reduction✩ Jonathan P
- Combinatory Logic: from Philosophy and Mathematics to Computer Science
- Unification of the Lambda-Calculus and Combinatory Logic