DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Combinatory logic
Combinatory logic
The Lambda Calculus Is Algebraic
Deriving Logical Relations from Interpretations of Predicate Logic
The Proper Treatment of Variables in Predicate Logic
Exceptionally Monadic Error Handling
Two Lectures on Constructive Type Theory
Code-Free Recursion & Realizability
Representation of Compositional Relational Programs
Lukasz LACHOWSKI on the COMPLEXITY of the STANDARD TRANSLATION of LAMBDA CALCULUS INTO COMBINATORY LOGIC
Lambda-Calculus : from Logic to Computation
Categorical Combinators
Functional Programming with Overloading and Higher-Order Polymorphism
The Monad.Reader Issue 17 by Douglas M
How Combinatory Logic Can Limit Computing Complexity
Arxiv:1604.02603V1
Systems of Combinatory Logic Related to Quine's 'New Foundations'
On the Recursive Enumerability of Fixed-Point Combinators
Combinatory Logic in Programming Library “Jurinfor” Founded in 1994
VU Logic and Computation – P
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